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