基本情報

所属
早稲田大学 理工学術院 基幹理工学部 情報理工学科 教授
学位
博士(カリフォルニア大学バークレー校)
修士(カリフォルニア大学バークレー校)
学士(コロンビア大学)

研究者番号
70447150
J-GLOBAL ID
200901015211509541

外部リンク

プログラミング言語分野の研究を行っています。特に、プログラムの正しさを正式かつ(できるだけ)自動的に検証する「プログラム検証」や正しいプログラムを自動生成する「プログラム合成」の研究に興味があります。また、型システムや定理証明など基礎理論・基礎アルゴリズムに関する研究も行っています。

論文

  33

講演・口頭発表等

  24

所属学協会

  2

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

  12