東京工業大学 情報理工学院 数理・計算科学系

南出 靖彦 研究室


研究テーマ:ソフトウェア検証,プログラミング言語,形式言語理論

現在の社会は,ソフトウェアへの依存度をますます高めており,その信頼性の向上が課題となっています.例えば,ウェブに関連したソフトウェアにおいては,プログラムの小さな誤りが,クロスサイトスクリプティングやSQLインジェクションなどの脆弱性の原因となり,情報漏洩などの深刻な問題を起こしています.本研究室では,ソフトウェアの信頼性を高めるための理論や技術を研究しています.特に,形式言語やオートマトンの理論に基づく検証技術の研究に注力しています.

研究内容

論文リスト

メンバー:
教員
 南出靖彦
 佐藤哲也
D1
 宮嵜貴之
M2
 真家隼也
M1
 高坂翼 小林孝広 平田路和 福田大我
B4
 五十嵐彩夏 釜野雅基 川村瑠