AI時代を見据えたプログラム検証技術
- 2.5 高信頼化
- 3.8 情報学
- 4.5 安全性・セキュリティ
小林 直樹
情報理工学系研究科
教授
近年の機械学習技術の台頭とそれに伴うコンピュータによって制御されたシステムの社会への普及を踏まえ、プログラムの自動検証や自動合成技術のさらなる飛躍のために機械学習技術を活用するとともに、機械学習コンポーネントを含むシステムの信頼性を向上するための検証技術の確立を目指す。科研費基盤研究(S)の補助を受けて実施。
プロジェクトに関するURL
主な関連論文
Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno, “Toward Neural-Network-Guided Program Synthesis and Verification”, Proceedings of SAS 2021.
問い合わせ先
- 担当： 情報理工学系研究科 小林 直樹
- メールアドレス： koba[at]is.s.u-tokyo.ac.jp
※[at]を@に置き換えてください
- カテゴリナビ
