国立情報学研究所 (NII) 数理的高信頼ソフトウェアシステム研究センター (MTSS Center) のウェブページです．
次のプロジェクトの推進を中心に研究を行っています．
- JST ASPIRE トップ研究者タイプ「情報技術への社会的信頼を樹立するソフトウェア研究ネットワーク」（No. JPMJAP2301，Bart Jacobs，Joost-Pieter Katoen，Sam Statonとの協働のためのグラント）． 2024年2月-2029年3月．
- （終了済）JST ERATO 蓮尾メタ数理システムデザインプロジェクト（No. JPMJER1603）．2016年10月-2022年3月，追加支援（機関継承型）2025年3月まで．
- （イミロン株式会社起業に伴い終了済）JST START プロジェクト推進型 起業実証支援「ソフトウェア品質の論理的説明技術による，自動運転の本格普及の実現」（No. JPMJST2213）． 2022年11月-2025年3月．
研究の概要については以下を御覧ください．