主な研究Research
システムのモデル化と品質保証に関する研究
複雑システムをモデル化し、設計や実装の正しさを検証することで、その品質に一定の保証を与える手法の研究を行います。サイバーフィジカルシステムやIoT向けの組込みシステムや機械学習ベースのシステムを中心に、実用規模にスケールし、かつインパクトをもたらす技術の開発を目指します。また、安全性とセキュリティを考慮した設計手法やサイバー攻撃検知を可能とする異常検知手法にも取り組んでいきます。
ソフトウェア解析技術に関する研究
ソフトウェアのソースコードおよびバイナリーコード（実行プログラム）を解析し、不具合の同定や予測を可能にする技術の研究を行います。ソースコード解析については、類似点や変更点を解析する技術を中心に、テキスト処理のための統計的機械学習の手法等を応用しながら、大規模システムの信頼性を向上させる技術を開発します。バイナリーコード解析については、未知の脆弱性を自動的に発見するツールの開発を目指しています。
