
Keigo Imai
(今井 敬吾)
Modified on: 03/13
Profile Information
- Affiliation
- DeNA Co., Ltd.
- Degree
-
Doctor of Information Science(Mar, 2012, Nagoya University)
- Contact information
- keigoi
acm.org
- ORCID iD
https://orcid.org/0000-0003-1602-8473
- Researcher ID
- I-3970-2014
- researchmap Member ID
- B000001022
- 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
9-
Aug, 2023 - Present
-
Mar, 2019 - Sep, 2019
-
Feb, 2019 - Sep, 2019
-
Apr, 2010 - Nov, 2013
-
Apr, 2009 - Mar, 2010
Major Committee Memberships
22-
Apr, 2022 - Present
-
Apr, 2022 - Present
-
Dec, 2021 - Jul, 2023
-
Apr, 2017 - Mar, 2020
Major Papers
14-
TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 13243, 379-386, 2022 Peer-reviewed
-
ECOOP 2020: 34th European Conference on Object-Oriented Programming, Leibniz International Proceedings in Informatics, 166 9:1-9:30, 2020 Peer-reviewed
-
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
-
FLOPS 2020: 15th International Symposium on Functional and Logic Programming, Lecture Notes in Computer Science, 12073 66-87, 2020 Peer-reviewed
-
Journal of Information Processing, 27 431-444, Jun, 2019 Peer-reviewed
-
SFDI2019: Second Workshop on Software Foundations for Data Interoperability (In proceedings of 2019 IEEE International Conference on Big Data and Smart Computing (BigComp)), 1-5, Feb, 2019 Peer-reviewed
-
Science of Computer Programming, 172 135-159, 2018 Peer-reviewed
-
COORDINATION 2017: 19th International Conference on Coordination Models and Languages, Lecture Notes in Computer Science, 10319 99-118, 2017 Peer-reviewed
-
Information Engineering Express, 2(1) 11-22, 2016 Peer-reviewed
-
2015 IIAI 4TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI), 462-467, 2015 Peer-reviewed
-
IEICE Transactions on Information and Systems, 95(8) 2053-2064, Aug 1, 2012 Peer-reviewed
-
PLACES 2010: Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010, Electronic Proceedings in Theoretical Computer Science, 69 74-91, 2010 Peer-reviewed
-
IPSJ Transactions on Programming, 2(2) 54-69, Apr, 2009 Peer-reviewed
-
IPSJ Transactions on Programming (PRO), 47(SIG16(PRO31)) 10-28, Oct, 2006 Peer-reviewed
Major Presentations
52-
PPL 2025: 第 27 回プログラミングおよびプログラミング言語ワークショップ, Mar 6, 2025
-
第143回プログラミング研究発表会, Mar 23, 2023
-
第141回プログラミング研究発表会, Oct 27, 2022
-
WST 2022: 18th International Workshop on Termination, Aug 12, 2022
-
PLACES 2022: 13th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software, Munich, Germany, Apr 3, 2022
-
PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ, Mar 8, 2022
-
PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ, Mar 7, 2022
-
PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ, Mar 6, 2022
-
第137回プログラミング研究発表会, Jan 12, 2022
-
ML'21: ML Workshop 2021, co-located with ICFP 2021, Aug 26, 2021
-
ICE 2021: 14th Interaction and Concurrency Experience, co-located with DisCoTec 2021, Jun 18, 2021
-
第132回プログラミング研究発表会, Jan 13, 2021
-
第127回プログラミング研究発表会, Jan 15, 2020, 情報処理学会プログラミング研究会
-
The 2019 Joint Workshop on Formal Methods, Shanghai, China, Dec 12, 2019
-
PLAS Group Seminar, School of Computing, University of Kent, Sep 16, 2019 Invited
-
NII Shonan Meeting 149: Programming Languages for Distributed Systems (PL4DS)
-
PPL 2018: The 20th JSSST Workshop on Programming and Programming Languages, Mar 6, 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.
7-
システム/制御/情報, 67(2) 78-84, 2023
-
Journal of Information Processing and Management, 58(2) 83-91, 2015
-
IEICE technical report, 109(40) 49-54, May 14, 2009
Academic Activities
10Major Research Projects
6-
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B), Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2021 - Mar, 2026
-
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C), Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2021 - Mar, 2025
-
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B), Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2020 - Mar, 2024
-
Grants-in-Aid for Scientific Research Grant-in-Aid for Young Scientists (B), Grant-in-Aid for Young Scientists (B), Japan Society for the Promotion of Science, Apr, 2017 - Mar, 2022
Awards
2Research Areas
2Research Interests
10Professional Memberships
4Education
3-
Apr, 2000 - Mar, 2004