略歴

English Version

1991年東京大学理学部情報科学科卒.
1993年3月同大学大学院理学系研 究科情報科学専攻修士課程修了.
1993年4月博士課程進学.
1993年11月中退,東京大学大学院理学系研究科情報科学専攻助手就任.
1996年4月博士(理学)取得,
1996年6月より東京大学大学院理学系研究科情報科学専攻講師
2001年1月東京工業大学大学院情報理工学研究科助教授
2004年10月より東北大学大学院情報科学研究科教授

プログラミング言語やプログラム検証に興味をもつ. ACM,日本ソフトウェア科学会,情報処理学会,各会員. 2002年度から2004年度まで日本ソフトウェア科学会プログラミング論研究会主査を務める.