[経歴]
1992年3月 千葉県立長生高等学校卒業
1992年4月 東京大学理科I類入学
1996年3月 東京大学理学部情報科学科卒業
1996年4月 東京大学大学院理学系研究科情報科学専攻修士課程進学
1998年3月 同上修了
1998年4月 東京大学大学院理学系研究科情報科学専攻博士課程進学
2001年9月 同上修了、博士(理学)取得
2001年10月 日本学術振興会 特別研究員(PD)
2002年4月 国立情報学研究所 資源研究センター 科学研究支援員
2002年12月 科学技術振興事業団 戦略的創造研究推進事業さきがけ21
「協調と制御」田浦グループ グループメンバー
(2003年10月 科学技術振興機構へ移行)
2004年4月 東京大学大学院 情報理工学系研究科
戦略ソフトウェア創造人材養成プログラム 科学技術振興特任教員(特任助手)
2006年4月 東京工業大学 学術国際情報センター
特任講師/産学官連携研究員
2007年12月 東京工業大学 大学院情報理工学研究科 グローバルCOE
「計算世界観の深化と展開」特任准教授
2011年10月 東京工業大学 学術国際情報センター 先端研究部門
特任准教授
2012年6月 東京工業大学 学術国際情報センター 先端研究部門
准教授
2018年4月 東京工業大学 学術国際情報センター 先端研究部門
教授