博士（情報理工学）
東京大学
大学院情報理工学系研究科コンピュータ科学専攻
経歴
プロフィール
京都大学情報学研究科准教授として、様々なシステムの形式検証手法を専門としています。形式検証を主軸としつつ、コンピュータサイエンスの複数の分野にまたがる多様な研究活動を行っています。
研究対象は形式検証、型システム、プログラム解析、スマートコントラクトのセキュリティ、機械学習の解釈可能性、ハイブリッドシステムの検証などです。理論的基盤と実世界の応用の間のギャップを埋める実用的な検証技術の開発をがんばっています。
学歴
-
2008年
-
2005年
修士課程修了
東京大学
大学院情報理工学系研究科コンピュータ科学専攻
-
2003年
学士号
東京大学
理学部情報科学科
職歴
-
現在
准教授
京都大学 情報学研究科
-
以前
特定助教
京都大学 白眉センター
-
以前
日本学術振興会特別研究員（PD）
日本学術振興会
-
以前
ポストドクター研究員
リスボン大学 理学部
-
以前
リサーチャー
日本アイ・ビー・エム（株）東京基礎研究所
所属学会
- 日本ソフトウェア科学会
- 情報処理学会
- ACM（Association for Computing Machinery）
詳細な履歴書
詳細な履歴書については、お問い合わせください。