Keigo Imai

Profile Information

Affiliation: Gifu University Faculty of Engineering Department of Electrical, Electronic and Computer Engineering Assistant Processor
: (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

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

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

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

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

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

Nagoya University Center for Embedded Systems (NCES) Researcher

Research Interests

Research Areas

Major Papers

Multiparty Session Programming with Global Protocol Combinators

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

ECOOP 2020: 34th European Conference on Object-Oriented Programming (to appear) 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, Dublin, Ireland 61 - 75 2020 Peer-reviewed
Session Types Without Sophistry (System Description)

Oleg Kiselyov, Keigo Imai

Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings (Lecture Notes in Computer Science Book 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

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 types without sophistry

Oleg Kiselyov, Keigo Imai

IFIP Working Group 2.11, Eighteenth Meeting Jun 7, 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.

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

Committee Memberships

Apr, 2017 - Present

IPSJ-PRO: IPSJ Transactions on Programming Editorial Committee
2020 - 2020

PPL 2020: The 22nd JSSST Workshop on Programming and Programming Languages Program Committee Member
2016 - 2016

DSIR 2016: 5th International Conference on Data Science and Institutional Research Program Committee Member
2015 - 2015

OCaml 2015: The OCaml Users and Developers Workshop Program Committee Member

Academic Activities

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

Major Research Projects

Session-typed programming in unreliable communication environment

Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Grant-in-Aid for Young Scientists (B)

Keigo Imai

Awards

Sep, 2010

組込みシステム技術に関するサマーワークショップ(SWEST12) ベストポスター賞

今井敬吾

Professional Memberships

Education

Apr, 2006 - Mar, 2009

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

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

Nagoya University School of Engineering Department of Physical Science and Engineering