Keigo Imai

Profile Information

Affiliation: Assistant Processor, Faculty of Engineering Department of Electrical, Electronic and Computer Engineering, Gifu University
: (Concurrent)Artificial Intelligence Advanced Research Center
: (Concurrent)Intelligent Production Technology Research & Development Center for Aerospace

Degree: Doctor of Information Science(Mar, 2012, Nagoya University)

ORCID ID: https://orcid.org/0000-0003-1602-8473
Researcher ID: I-3970-2014
researchmap Member ID: B000001022

External link: https://keigoimai.info/

Research interests: Programming language theory, Concurrency theory, Type theory, Industrial use of functional programming languages, Embedded software,
Research strategy and bibliometrics. Once I was in industry and did job using functional programming languages (OCaml and Haskell). 3-year experience in Research Administration Office, Kyoto University.

Major Research History

Sep, 2016 - Present

Assistant Professor, Department of Electrical, Electronic and Computer Engineering, Gifu University
Mar, 2019 - Sep, 2019

Academic Visitor, Brunel University London
Feb, 2019 - Sep, 2019

Academic Visitor, Department of Computing, Imperial College London
Dec, 2013 - Aug, 2016

Program-Specific Specialist Administrator (URA), Research Administration Office, Kyoto University
Apr, 2010 - Nov, 2013

Software Engineer, IT Planning, Inc.
Apr, 2009 - Mar, 2010

Researcher, Center for Embedded Systems (NCES), Nagoya University

Major Committee Memberships

Major Papers

Kmclib: Automated Inference and Verification of Session Types from OCaml Programs

Keigo Imai, Julien Lange, Rumyana Neykova

TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 13243, 379-386, 2022 Peer-reviewed
Multiparty Session Programming with Global Protocol Combinators

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

ECOOP 2020: 34th European Conference on Object-Oriented Programming, Leibniz International Proceedings in Informatics, 166 9:1-9:30, 2020 Peer-reviewed
Fluent Session Programming in C#

Shunsuke Kimura, Keigo Imai

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, 314 61-75, 2020 Peer-reviewed
Session Types Without Sophistry (System Description)

Oleg Kiselyov, Keigo Imai

FLOPS 2020: 15th International Symposium on Functional and Logic Programming, Lecture Notes in Computer Science, 12073 66-87, 2020 Peer-reviewed
Lightweight linearly-typed programming with lenses and monads

Keigo Imai, Jacques Garrigue

Journal of Information Processing, 27 431-444, Jun, 2019 Peer-reviewed
Session-ocaml: a Session-based Library with Polarities and Lenses (extended version)

Keigo Imai, Nobuko Yoshida, Shoji Yuen

Science of Computer Programming, 172 135-159, 2018 Peer-reviewed

Major Presentations

Ad hoc polymorphism with Placeholders in OCaml

Masaki Ito, Keigo Imai

第143回プログラミング研究発表会, Mar 23, 2023
Infinite Trace Semantics for Asynchronous Multiparty Session Types via Bounded Coinductive Definition

Keigo Imai

第141回プログラミング研究発表会, Oct 27, 2022
The System SOL version 2022

Makoto Hamana, Keigo Imai

WST 2022: 18th International Workshop on Termination, Aug 12, 2022
38

Polymorphic Multiparty Session Handlers in OCaml

Keigo Imai

PLACES 2022: 13th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software, Munich, Germany, Apr 3, 2022
文脈自由マルチパーティセッション型の実装 (ポスター)

木村駿介, 今井敬吾

PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ, Mar 8, 2022
OCamlのための構文上の穴を用いたアドホック多相のプリプロセッサによる実装 (ポスター)

伊藤将希, 今井敬吾

PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ, Mar 7, 2022
Kmclib: Automated Inference and Verification of Session Types (PPL Category 2)

Keigo Imai, Julien Lange, Rumyana Neykova

PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ, Mar 6, 2022
Verifying Session-Typed Concurrent Programs using Typed PPX in OCaml

Keigo Imai, Julien Lange, Rumyana Neykova

第137回プログラミング研究発表会, Jan 12, 2022
Verifying Multiparty Communication Protocols using ML Type Systems

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

ML'21: ML Workshop 2021, co-located with ICFP 2021, Aug 26, 2021
Multiparty Session Programming with Global Protocol Combinators (oral communication)

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

ICE 2021: 14th Interaction and Concurrency Experience, co-located with DisCoTec 2021, Jun 18, 2021
混合選択とタイムアウトで拡張されたマルチパーティセッション型の軽量検査

今井敬吾

第132回プログラミング研究発表会, Jan 13, 2021
A Preliminary Study on Locally Concurrent Multiparty Session Types

Keigo Imai

第127回プログラミング研究発表会, Jan 15, 2020, 情報処理学会プログラミング研究会
Fully Static Multiparty Session Programming with Global Protocol Combinators

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

The 2019 Joint Workshop on Formal Methods, Shanghai, China, Dec 12, 2019
Global Protocol Combinators: static structural multiparty sessions over simply-typed channels

Keigo Imai

PLAS Group Seminar, School of Computing, University of Kent, Sep 16, 2019 Invited
Session Type Implementations in Functional Programming Languages

Keigo Imai

NII Shonan Meeting 149: Programming Languages for Distributed Systems (PL4DS)
Session-ocaml: a session-based library with polarities and lenses (PPL カテゴリ2)

Keigo Imai, Nobuko Yoshida, Shoji Yuen

PPL 2018: The 20th JSSST Workshop on Programming and Programming Languages, Mar 6, 2018
Session-ocaml: a session-based library with polarities and lenses (Dagstuhl seminar 17501)

Keigo Imai, Shoji Yuen, Nobuko Yoshida

Dagstuhl Seminar 17051: Theory and Applications of Behavioural Types, Jan, 2017
OCamlで構築するモダンWeb: 型付きHTML5プログラミングの実際 (Modern web application development in OCaml: Exercises in typed HTML5 programming)

Keigo Imai

JSSST PPL summer school 2012, Aug 21, 2012 Invited
Haskell DSL による複数プラットホーム・複数言語コード生成

今井敬吾

次世代ソフトウェアの開発支援環境 (公益財団法人科学技術交流財団), Mar 23, 2012 Invited
HTML5 web application development in OCaml

Keigo Imai

CUFP 2011: Commercial Users of Functional Programming, Aug, 2011

Books and Other Publications

型システム入門 : プログラミング言語と型の理論 (A Japanese translation of "Types and Programming Languages" (B. C. Pierce))

Benjamin C. Pierce, Eijiro Sumii, Yusuke Endo, Masahiro Sakai, Keigo Imai, Yusuke Kuroki, Yoshihiro Imai, Takafumi Saikawa, Takeo Imai (Role: Joint translator)

Ohmsha, 2013 (ISBN: 9784274069116)
Scala実践プログラミング (Pragmatic programming in Scala)

Satoshi Ogasawara, Tomohito Ozaki, Takashi Seki, Kota Mizushima, Keigo Imai (Role: Joint author)

SHUWA SYSTEM CO.,LTD, Jun, 2011 (ISBN: 479802998X)
入門OCaml (Introduction to OCaml)

OCaml-Nagoya (Role: Joint author)

Mainichi Communications Inc., May, 2007 (ISBN: 4839923116)

Major Misc.

航空機産業におけるジョブショップ型生産の効率化に向けて

横田康成, 河村洋子, 今井敬吾, 深井英和, 厚坂裕太郎, 酒井亨

システム／制御／情報, 67(2) 78-84, Feb, 2023
Research funding support service by Kyoto University Research Administrator network : Collection, analysis, and provision of information

AMANO Eriko, OKANO Keiko, INAISHI Natsuko, IMAI Keigo

Journal of Information Processing and Management, 58(2) 83-91, 2015
An SOS interpreter with negative premises and an equivalence checker by Maude

BAN Jun, IMAI Keigo, YUEN Shoji

IEICE technical report, 109(40) 49-54, May 14, 2009

Academic Activities

FACS 2022

Peer review

2022 - 2022
LICS 2022

Peer review

2022
CONCUR 2020

Peer review

2020
PPDP 2019

Peer review

ACM, 2019
ICTAC 2016

Peer review

2016
IPSJ-PRO: IPSJ Transactions on Programming

Peer review

IPSJ, 2016
CONCUR 2012

Peer review

2012
ICFP 2011

Peer review

ACM, 2011
PEPM 2008

Peer review

ACM, 2008
ATVA 2007

Peer review

2007

Major Research Projects

Network of automata with data based on compositional active learning

Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2021 - Mar, 2026
Session type embedding for practical concurrent/distributed programming

Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2021 - Mar, 2025
Universal Algebraic Datatypes: Theory and Practice on Datatypes based on Higher-Order Rewriting

Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2020 - Mar, 2024
Session-typed programming in unreliable communication environment

Grants-in-Aid for Scientific Research Grant-in-Aid for Young Scientists (B), Japan Society for the Promotion of Science, Apr, 2017 - Mar, 2022

Awards

Research Areas

Research Interests

Professional Memberships

Education

Apr, 2006 - Mar, 2009

Department of Information Engineering (Doctoral Course), Graduate School of Information Science, Nagoya University
Apr, 2004 - Mar, 2006

Department of Information Engineering (Master Course), Graduate School of Information Science, Nagoya University
Apr, 2000 - Mar, 2004

Department of Physical Science and Engineering, School of Engineering, Nagoya University