ようこそ
京都大学 大学院情報学研究科 情報学専攻 通信情報システムコース 准教授 / 京都大学 工学部 情報学科 計算機科学コース 准教授の末永幸平です．
ソフトウェアの形式検証を研究しています．型理論・プログラム論理・オートマトン理論などを用いつつ，並行プログラム，ハイブリッドシステム，スマートコントラクト，機械学習モデル，準同形暗号等の暗号化されたデータを復号しない計算，統計的仮説検定を行うプログラムなどを扱ってきました．AIがソフトウェアを構築する時代に，人手に頼らず正しさを保証する技術を確立することが現在の目標です．京都大学では「プログラミング言語処理系」等を担当し，教材を公開しています．分野を越えた共同研究を歓迎します．
最新の業績
- 業績を読み込み中...