
Keigo Imai
(今井 敬吾)
Modified on: 04/11
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
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
8-
Mar, 2019 - Sep, 2019
-
Feb, 2019 - Sep, 2019
-
Apr, 2010 - Nov, 2013
-
Apr, 2009 - Mar, 2010
Major Committee Memberships
17-
Apr, 2022 - Present
-
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
-
Science of Computer Programming, 172 135-159, 2018 Peer-reviewed
Major Presentations
51-
第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, Feb, 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), Japan Society for the Promotion of Science, Apr, 2021 - Mar, 2026
-
Grants-in-Aid for Scientific Research 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), Japan Society for the Promotion of Science, Apr, 2020 - Mar, 2024
-
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
2Research Areas
2Research Interests
10Professional Memberships
4Education
3-
Apr, 2000 - Mar, 2004