略歴

(Ver. 2017/9)
学術博士(Radboud University Nijmegen, 2008).京都大学数理解析研究所助教,JST さきがけ「数学と諸分野の協働によるブレークスルーの探索」領域研究者(兼任),東京大学大学院情報理工学系研究科講師・准教授を経て現職.専門は理論計算機科学,特にシステム検証,プログラミング言語理論,物理情報システム,情報科学における数学的構造に興味を持つ.第一回藤原洋数理科学賞奨励賞,国際会議 CONCUR 2014 最優秀論文賞(卜部夏木氏と共同受賞)などを受賞.2016年10月から JST ERATO 蓮尾メタ数理システムデザインプロジェクト研究総括を務める.

学歴

職歴

研究費獲得状況

学会活動

著書

雑誌記事など

受賞

招待講演

(いくつかのスライドはこちら

集中講義

雑文

生い立ち