Keigo Imai

J-GLOBAL         Last updated: Dec 12, 2018 at 10:06
 
Avatar
Name
Keigo Imai
Nickname
keigoi
E-mail
keigoigifu-u.ac.jp
URL
https://keigoimai.info/
Affiliation
Gifu University
Section
Faculty of Engineering
Degree
Doctor of Information Science(Nagoya University)
Twitter ID
keigoi
ORCID ID
0000-0003-1602-8473

Profile

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.

Research Areas

 
 

Academic & Professional Experience

 
Sep 2016
 - 
Today
Assistant Professor, Department of Electrical, Electronic and Computer Engineering, Gifu University
 
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
 
Apr 2007
 - 
Mar 2009
Research Assistant, Center for Embedded Systems (NCES), Nagoya University
 
Apr 2006
 - 
Mar 2007
COE Research Assistant, Graduate School of Information Science, Nagoya University
 

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
 

Published Papers

 
Keigo Imai, Nobuko Yoshida, Shoji Yuen
Science of Computer Programming   172 135-159   2018   [Refereed]
Keigo Imai, Nobuko Yoshida, Shoji Yuen
COORDINATION 2017: Coordination Models and Languages (Lecture Notes in Computer Science, volume 10319)   99-118   2017   [Refereed]
Yusuke Yamamoto, Keigo Imai, Taketo Tsugehara
Information Engineering Express   2(1) 11-22   2016   [Refereed]
Yusuke Yamamoto; Keigo Imai; Taketo Tsugehara
In Proceedings of 4th International Congress on Advanced Applied Informatics (IIAI-AAI 2015), Okayama, Japan   462-467   Jul 2015   [Refereed]
Keigo Imai,Shoji Yuen,Kiyoshi Agusa
IEICE Transactions   95-D(8) 2053-2064   2012   [Refereed]
Keigo Imai,Shoji Yuen,Kiyoshi Agusa
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010.   74-91   2010   [Refereed]
YOKOYAMA TETSUO, IMAI KEIGO, ZENG GANG, TOMIYAMA HIROYUKI, TAKADA HIROAKI, YUEN SHOJI
IPSJ Transactions on Programming   2(2) 54-69   Apr 2009   [Refereed]
IMAI KEIGO, YUEN SHOJI, AGUSA KIYOSHI
IPSJ Transactions on Programming (PRO)   47(SIG16(PRO31)) 10-28   Oct 2006   [Refereed]

Books etc

 
型システム入門 : プログラミング言語と型の理論 (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 (Part:Joint Translation)
Ohmsha   2013   ISBN:9784274069116
Scala実践プログラミング (Pragmatic programming in Scala)
Satoshi Ogasawara, Tomohito Ozaki, Takashi Seki, Kota Mizushima, Keigo Imai (Part:Joint Work)
SHUWA SYSTEM CO.,LTD   Jun 2011   ISBN:479802998X
入門OCaml (Introduction to OCaml)
OCaml-Nagoya (Part:Joint Work)
Mainichi Communications Inc.   May 2007   ISBN:4839923116

Misc

 
Keigo Imai; Shoji Yuen; Nobuko Yoshida
Dagstuhl Seminar 17051: Theory and Applications of Behavioural Types   169   Jan 2017
Eriko Amano; Keiko Okano; Natsuko Inaishi; Keigo Imai
JOURNAL OF INFORMATION PROCESSING AND MANAGEMENT   58(2) 83-91   Jan 2015
BAN JUN, IMAI KEIGO, YUEN SHOJI
IEICE Technical Report   109(41(KBSE2009 1-11)) 49-54   May 2009
This paper presents a general implementation by Maude of labelled transition systems specified by SOS (structural operational semantics) with negative premises. The search mechanism of the 'meta-level' in Maude eases the checking of negative premi...
A full implementation of Session Types in Haskell
Keigo Imai, Shoji Yuen, Kiyoshi Agusa
The 11th JSSST Workshop on Programming and Programming Languages (PPL2009)   44-56   Mar 2009   [Refereed]

Conference Activities & Talks

 
Keigo IMAI
Commercial Users of Functional Programming (CUFP 2011)   Aug 2011   
An i/o typed framework for network programming in Haskell based on Localized pi-calculus
Keigo IMAI, Shoji Yuen, Kiyoshi Agusa
The Third Asian Symposium on Programming Languages and Systems (APLAS 2005)   Nov 2005   

Research Grants & Projects

 
Japan Society for the Promotion of Science: Grant-in-Aid for Young Scientists (B)
Project Year: Apr 2017 - Mar 2021    Investigator(s): Keigo IMAI
研究コミュニティ分析に基づく研究戦略立案ツールキットの構築 (Development of research strategy toolkit based on research community analysis)
The Institute of Statistical Mathematics: Research Collaboration Project
Project Year: Apr 2016 - Mar 2017    Investigator(s): Yasuhiro Nagai

Committee Memberships

 
Apr 2017
 - 
Today
IPSJ Transactions on Programming  Editorial committee