Profile Information

Affiliation
DeNA Co., Ltd.
Degree
Doctor of Information Science(Mar, 2012, Nagoya University)

Contact information
keigoiacm.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.

Major Committee Memberships

  22

Major Papers

  14

Major Presentations

  52

Books and Other Publications

  3

Major Misc.

  7

Academic Activities

  10

Major Research Projects

  6