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.

Major Papers

  13

Major Presentations

  38

Books and Other Publications

  3

Major Misc.

  5

Academic Activities

  8

Major Research Projects

  3