
Keigo Imai
(今井 敬吾)
Modified on: 2020/10/15
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
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 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
7-
Feb, 2019 - Sep, 2019
-
Apr, 2010 - Nov, 2013
-
Apr, 2009 - Mar, 2010
Research Interests
10Research Areas
2Major Papers
13-
ECOOP 2020: 34th European Conference on Object-Oriented Programming (to appear) 2020 Peer-reviewed
-
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
-
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
-
Journal of Information Processing 27 431 - 444 Jun, 2019 Peer-reviewed
-
Science of Computer Programming 172 135 - 159 2018 Peer-reviewed
Major Presentations
37-
PLAS Group Seminar, School of Computing, University of Kent Sep 16, 2019 Invited
-
NII Shonan Meeting 149: Programming Languages for Distributed Systems (PL4DS)
-
IFIP Working Group 2.11, Eighteenth Meeting Jun 7, 2018
-
Dagstuhl Seminar 17051: Theory and Applications of Behavioural Types Jan, 2017
-
JSSST PPL summer school 2012 Aug 21, 2012 Invited
-
次世代ソフトウェアの開発支援環境 (公益財団法人 科学技術交流財団) Mar 23, 2012 Invited
-
CUFP 2011: Commercial Users of Functional Programming Aug, 2011
Books and Other Publications
3-
Ohmsha 2013 (ISBN: 9784274069116)
-
SHUWA SYSTEM CO.,LTD Jun, 2011 (ISBN: 479802998X)
-
Mainichi Communications Inc. May, 2007 (ISBN: 4839923116)
Major Misc.
5-
Journal of Information Processing and Management 58(2) 83 - 91 2015
-
IEICE technical report 109(40) 49 - 54 May 14, 2009
Committee Memberships
4-
Apr, 2017 - Present
Academic Activities
7Major Research Projects
2-
Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Grant-in-Aid for Young Scientists (B)
Awards
1Professional Memberships
4Education
3-
Apr, 2000 - Mar, 2004