略歴

(Ver. 2019/12)
国立情報学研究所 アーキテクチャ科学研究系 准教授,システム設計数理国際研究センター長,学術博士(Radboud University Nijmegen, 2008).京都大学数理解析研究所助教,東京大学大学院情報理工学系研究科講師・准教授を経て現職.2016年10月から JST ERATO 蓮尾メタ数理システムデザインプロジェクト研究総括を務める.専門は理論計算機科学,特にシステム検証,プログラミング言語理論,物理情報システム,情報科学における数学的構造に興味を持つ.第一回藤原洋数理科学賞奨励賞,国際会議 CONCUR 2014 最優秀論文賞(卜部夏木氏と共同受賞),国際会議 ICECCS 2018 最優秀論文賞(Etienne Andre 氏,和賀正樹氏と共同受賞)などを受賞.ACM,SAE,日本数学会,日本ソフトウェア科学会,計測自動制御学会,自動車技術会 各会員.

学歴

職歴

研究費獲得状況

学会活動

著書

雑誌記事など

受賞

招待講演など

(他のスライドはこちら

集中講義

雑文

生い立ち