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

南出 靖彦 研究室


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

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

研究内容

論文リスト

メンバー(2024年4月):
教員
 南出靖彦
 佐藤哲也
D3
 平田路和
M2
 大森章裕 松岡和貴
M1
 足立宏介 木下まひな 杉山裕紀
研究生
 占部雄大