基本情報

所属
群馬大学大学院 理工学府 電子情報部門 准教授
学位
博士(工学)(筑波大学)

研究者番号
90334135
J-GLOBAL ID
200901007071864696

外部リンク

日本学術振興会特別研究員として京都大学、英国エジンバラ大学LFCSを経て、2001年から群馬大学にて教育・研究に携わっています。プログラムのための数学的構造を明らかにし、それをソフトウェアの構成へ役立てる事に興味があります。高階抽象構文、高階項書換え系、圏論、型理論を用いたプログラム基礎理論、意味論とその関数型プログラミング言語への応用を研究しています。2008年にソフトウェア科学会論文賞、2007,2018年に高橋奨励賞、2018年にFLOPS Best Paper Awardを受賞。

学歴

  2

論文

  45

MISC

  1

書籍等出版物

  2

所属学協会

  2

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

  11