Rchr
J-GLOBAL ID：201101042577681644   Update date: Apr. 01, 2024

Imai Keigo

イマイ ケイゴ | Imai Keigo
Affiliation and department：
DeNA Co., Ltd.

About DeNA Co., Ltd.


Homepage URL  (1)： https://keigoimai.info/
Research field  (2)： Information theory ,  Software
Research keywords  (10)： Computer Science ,  Programming language ,  Model checking ,  Formal methods ,  Haskell ,  OCaml ,  Pi-calculus ,  Type theory ,  Concurrency theory ,  Functional programming
Research theme for competitive and other funds  (6)：
  • 2021 - 2026 Network of automata with data based on compositional active learning
  • 2021 - 2025 Session type embedding for practical concurrent/distributed programming
  • 2020 - 2024 Universal Algebraic Datatypes: Theory and Practice on Datatypes based on Higher-Order Rewriting
  • 2017 - 2022 Session-typed programming in unreliable communication environment
  • 2016 - 2017 研究コミュニティ分析に基づく研究戦略立案ツールキットの構築 (Development of research strategy toolkit based on research community analysis)
Show all
Papers (14)：
  • Keigo Imai, Julien Lange, Rumyana Neykova. Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 13243. 2022. 379-386
  • Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen. Multiparty Session Programming with Global Protocol Combinators. ECOOP 2020: 34th European Conference on Object-Oriented Programming, Leibniz International Proceedings in Informatics. 2020. 166. 9:1-9:30
  • Shunsuke Kimura, Keigo Imai. Fluent Session Programming in C#. PLACES 2020: Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, co-located with ETAPS 2020, Dublin, Ireland, Electronic Proceedings in Theoretical Computer Science. 2020. 314. 61-75
  • Oleg Kiselyov, Keigo Imai. Session Types Without Sophistry (System Description). FLOPS 2020: 15th International Symposium on Functional and Logic Programming, Lecture Notes in Computer Science. 2020. 12073. 66-87
  • Keigo Imai, Jacques Garrigue. Lightweight linearly-typed programming with lenses and monads. Journal of Information Processing. 2019. 27. 431-444
ｍore...
MISC (7)：
ｍore...
Books (3)：
  • 型システム入門 : プログラミング言語と型の理論 (A Japanese translation of "Types and Programming Languages" (B. C. Pierce))
    Ohmsha 2013 ISBN:9784274069116
  • Scala実践プログラミング (Pragmatic programming in Scala)
    SHUWA SYSTEM CO.,LTD 2011 ISBN:479802998X
  • 入門OCaml (Introduction to OCaml)
    Mainichi Communications Inc. 2007 ISBN:4839923116
Lectures and oral presentations  (51)：
  • Ad hoc polymorphism with Placeholders in OCaml
    (第143回プログラミング研究発表会 2023)
  • Infinite Trace Semantics for Asynchronous Multiparty Session Types via Bounded Coinductive Definition
    (第141回プログラミング研究発表会 2022)
  • The System SOL version 2022
    (WST 2022: 18th International Workshop on Termination 2022)
  • Polymorphic Multiparty Session Handlers in OCaml
    (PLACES 2022: 13th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software, Munich, Germany 2022)
  • 文脈自由マルチパーティセッション型の実装 (ポスター)
    (PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ 2022)
ｍore...
Education (3)：
  • 2006 - 2009 Nagoya University Graduate School of Information Science Department of Information Engineering (Doctoral Course)
  • 2004 - 2006 Nagoya University Graduate School of Information Science Department of Information Engineering (Master Course)
  • 2000 - 2004 Nagoya University School of Engineering Department of Physical Science and Engineering
Professional career (1)：
  • Doctor of Information Science (Nagoya University)
Work history (9)：
  • 2023/08 - 現在 DeNA Co., Ltd.
  • 2016/09 - 2023/07 Gifu University Department of Electrical, Electronic and Computer Engineering Assistant Professor
  • 2019/03 - 2019/09 Brunel University London Academic Visitor
  • 2019/02 - 2019/09 Imperial College London Department of Computing Academic Visitor
  • 2013/12 - 2016/08 Kyoto University Research Administration Office Program-Specific Specialist Administrator (URA)
Show all
Committee career (21)：
  • 2022/04 - 現在 IPSJ Special Interest Group on Programming Steering committee member
  • 2022/04 - 現在 IPSJ-PRO: IPSJ Transaction on Programming Editorial Committee
  • 2024 - COORDINATION 2024: 26th International Conference on Coordination Models and Languages Artefact Evaluation Committee Member
  • 2024 - PPL 2024: The 26th JSSST Workshop on Programming and Programming Languages Organization Vice-Chair
  • 2024 - FACS 2024: 20th International Conference on Formal Aspects of Component Software PC Member
Show all
Awards (2)：
  • 2022/03 - 第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022) 【学生の受賞】PPL 2022 ポスター賞(学生の部) OCamlのための構文上の穴を用いたアドホック多相のプリプロセッサによる実装
  • 2010/09 - 組込みシステム技術に関するサマーワークショップ(SWEST12) ベストポスター賞
Association Membership(s) (4)：
INFORMATION PROCESSING SOCIETY OF JAPAN ,  ACM ,  The Institute of Electronics, Information and Communication Engineers ,  Japan Society for Software Science and Technology
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM