略歴

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

所属学会

ACM, IEEE, SAE, 日本数学会,日本ソフトウェア科学会,情報処理学会,計測自動制御学会,自動車技術会

学歴

職歴

研究費獲得状況

学会活動

著書

雑誌記事など

受賞

招待講演他

(他のスライドはこちら

講義ノート

集中講義

雑文

生い立ち