基本情報

所属
京都大学 教授
学位
博士(理学)(東京大学)

J-GLOBAL ID
200901018941019247

外部リンク

ソフトウェアのバグを少なくするための理論の研究を、ソフトウェアを記述するためのプログラミング言語の観点から行っています。特に、プログラム中の誤りをプログラムを実行することなく発見できる枠組みである型理論に興味があります。

論文

  95

MISC

  8

書籍等出版物

  6

講演・口頭発表等

  4

担当経験のある科目(授業)

  1

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

  13