Profile Information

Affiliation
岐阜大学 工学部 助教
Degree
Doctor of Information Science(Nagoya University)


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.

Papers

  11

Books and Other Publications

  3

Misc.

  1

Presentations

  34

Committee Memberships

  1