Profile Information

Affiliation
Professor, Research Institute for Mathematical Sciences, Kyoto University
Degree
Ph.D.

Researcher number
50293973
J-GLOBAL ID
200901067385624021
researchmap Member ID
1000258714

External link

1992年京都大学理学部卒業,1994年京都大学大学院理学研究科修士課程数理解析専攻修了,1997年エディンバラ大学計算機科学科博士課程修了.プログラミング言語の意味論および関連する圏論の話題などについて研究しています.

Papers

  34

Misc.

  5

Books and Other Publications

  4

Presentations

  4

Professional Memberships

  1

Research Projects

  14