We are MTSS Center (Research Center for Mathematical Trust in Software and Systems), NII (National Institute of Informatics).
Our research activities are centered around the following projects.
- JST ASPIRE “Network of Software Studies towards Social Trust in Information Technologies” (a grant for international collaboration with Bart Jacobs, Joost-Pieter Katoen, and Sam Staton, Grant No. JPMJAP2301). Feb 2024-Mar 2029.
- (Concluded) JST ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603). Oct 2016-Mar 2022. Extended till Mar 2025.
- (Concluded, with Imiron Co. Ltd. founded) JST START (Commercialization Support) “Real-World Deployment of Automated Driving via Logical Explanation of Quality of Software” (No. JPMJST2213). Nov 2022-Aug 2024.