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.

Major Papers

  14

Major Presentations

  46

Books and Other Publications

  3

Major Misc.

  5

Academic Activities

  8

Major Research Projects

  5