基本情報

所属
京都大学 大学院情報学研究科 教授
学位
博士(理学)(東京大学)

ORCID ID
 https://orcid.org/0000-0002-5143-9764
J-GLOBAL ID
200901018941019247
researchmap会員ID
5000031820

外部リンク

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

主要な論文

  118

MISC

  12

書籍等出版物

  6

講演・口頭発表等

  6

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

  1

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

  26