基本情報

所属
京都大学 数理解析研究所 教授
学位
Ph.D.

研究者番号
50293973
J-GLOBAL ID
200901067385624021

外部リンク

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

論文

  34

MISC

  5

書籍等出版物

  4

講演・口頭発表等

  4

所属学協会

  1

共同研究・競争的資金等の研究課題

  7