論理学で、AIシステムをセーフガードする

大阪大学卒業後、カーネギーメロン大学でのポスドクを経て、2007年豊田中央研究所に入所。
車載ソフトウェア研究の中心地である欧州への最初の赴任者に選ばれ、現地でのR&D活動の立ち上げを担当。その後、エンジニアリングコンサルを経て、2017年株式会社デンソーへ入社。

2020年からデンソードイツにて欧州R&Dチームを統括し、基盤ソフトウェア、自動運転、セキュリティ、サプライチェーンデータ管理に関する活動に従事。海外と日本、基礎研究と実応用を結ぶブリッジパーソンの役割を長く担う。

国立情報学研究所 アーキテクチャ科学研究系教授、数理的高信頼ソフトウェアシステム研究センター長、学術博士（Radboud University Nijmegen, 2008）。京都大学数理解析研究所助教、東京大学大学院情報理工学系研究科講師・准教授、国立情報学研究所准教授を経て現職。2016年10月から JST ERATO 蓮尾メタ数理システムデザインプロジェクト研究総括。専門は理論計算機科学、特にシステム検証、プログラミング言語理論における数学的構造に興味を持つ。国際会議 CONCUR 2014 最優秀論文賞、国際会議 ICECCS 2018 最優秀論文賞、国際会議 CAV 2024 Distinguished Paper Award、科学技術分野の文部科学大臣表彰 科学技術賞 研究部門などを受賞。

インペリアル・カレッジ・ロンドンでコンピュータサイエンスの理学修士号を取得し、オックスフォード大学で代数幾何学とカテゴリー理論を専攻して数学博士号を取得、さらにヨーロッパをリードする関数型プログラミングのコンサルタント企業を含む複数の名門企業でシニアエンジニアやテックリードを経験。JST ERATO 蓮尾メタ数理システムデザインプロジェクトでは開発チームリードを務め、蓮尾と共にシステム設計に形式手法を適用する研究に従事。専門分野は、ドメイン固有言語の設計、関数型プログラミング、およびWebシステムアーキテクチャなど多岐に渡る。