ようこそ
京都大学 大学院情報学研究科 情報学専攻 通信情報システムコース 准教授 / 京都大学 工学部 情報学科 計算機科学コース 准教授の末永幸平です。様々なシステムの形式検証手法を専門としており、特にハイブリッドシステム、スマートコントラクト、機械学習の解釈可能性に注力しています。
理論的基盤と実世界の応用のギャップを埋める実用的な検証技術の開発をがんばっています。
最新の業績
- 業績を読み込み中...
京都大学 大学院情報学研究科 情報学専攻 通信情報システムコース 准教授 / 京都大学 工学部 情報学科 計算機科学コース 准教授の末永幸平です。様々なシステムの形式検証手法を専門としており、特にハイブリッドシステム、スマートコントラクト、機械学習の解釈可能性に注力しています。
理論的基盤と実世界の応用のギャップを埋める実用的な検証技術の開発をがんばっています。