This page provides a full list of the funded projects.

Funded Projects

1. Grants-in-Aid (Kakenhi) for Scientific Research (B) "Assured Design Engineering through Integration of Formal Methods and Generative AI" (2026-2028, Principal Investigator)
2. Grants-in-Aid (Kakenhi) for Scientific Research (B) "Integrated Research of Testing, Analysis, and Automated Repair for Quality Assurance on Quantum Software" (2026-2028, Co-Investigator)
3. Kayamori Foundation of Informational Science Advancement, Research Grant "Testing and Explanation Generation for User Instructions in Autonomous Driving Systems" (2025-2027, Principal Investigator)
4. JST CREST Mathematical Information Platform "Formal Analysis and Design of AI-intensive Cyber-Physical Systems"
5. Grants-in-Aid (Kakenhi) for Scientific Research (A) "Research on Creation of Privacy Protection Infrastructure in Generative AI Era"
6. Grants-in-Aid (Kakenhi) for Scientific Research (B) "Research on Techniques for Quality Assurance of Large Language Models"
7. Grants-in-Aid (Kakenhi) for Scientific Research (B) "Research on Testing, Analysis, and Repair for AI-based Cyber-Physical SYstems"
8. Grants-in-Aid (Kakenhi) for Scientific Research (B) "High-Quality Machine Learning-based Systems via Traceability Exploration between Requirements and Implementation" (Primary Investigator)
9. JST MIRAI Realization of a Super Smart Soceity (Society 5.0) Modeling and AI for Conneting Cyber and Physical Worlds "Engineerable AI Techniques for Practical Applications of High-Quality Machine Learning-based Systems" (Primary Investigator)
10. Grants-in-Aid (Kakenhi) for Scientific Research (B) "Holistic Analysis and Repair Techniques for Stateful Deep Learning Systems"
11. JST MIRAI Realization of a Super Smart Soceity (Society 5.0) Modeling and AI for Conneting Cyber and Physical Worlds "Value Creation by Reliable Machine Learning-based Systems" (Primary Investigator)
12. Grants-in-Aid (Kakenhi) for Scientific Research (B) "Research on Autonomous and Collborative Self-Adaptation Mechanism and its Formal Verification for IoT"
13. Grant-in-Aid for JSPS Research Fellow "Research on Self-Adaptation with Compensation Crossing Heterogeneous Ubiquitous Platforms (Primary Investigator)
14. Grants-in-Aid (Kakenhi) for Scientific Research (B) "Continuous and Flexible Sophistication and Evolution of Assured Multi-Level System Models"(Primary Investigator)
15. Grants-in-Aid (Kakenhi) for Scientific Research (A) "Multi-View Models@Runtime Framewrok for Flexible Systems"
16. JST Exploratory Research for Advanced Technology (ERATO) "Metamathematics for Systems Design Project" (Group Leader)
17. Horizon2020/NICT EU-Japan "BigClouT: Big data meeting Cloud and IoT for empowering the citizen clout in smart cities"
18. Grants-in-Aid (Kakenhi) for Challenging Exploratory Research "Detection of Unexpected by Runtime Goal Model Tracking" (Primary Investigator)
19. Grants-in-Aid (Kakenhi) for Young Scientists (A) "Research on Complexity Distribution and Consistency Assurance in Stepwise Refinement" (Primary Investigator)
20. FP7/NICT FP7-EU-Japan STREP "ClouT: Cloud of Things for empowering the citizen clout in smart cities" (Japan-side Platform Leader)
21. IPA "Partial and Gradual Application of Formal Specification and Test Generation - Support of Code-Centric Incremental Development through Exploration" (Primary Investigator)
22. Grants-in-Aid (Kakenhi) for Challenging Exploratory Research "Modeling and Analysis of Laws and their Interpretations by Leveraging Requirements Engineering" (Primary Investigator)
23. Grants-in-Aid (Kakenhi) for Scientific Research (A) "Analysis, Design and Verification of Spatial Control Software Prepared for the Unexpected"
24. Grants-in-Aid (Kakenhi) for Young Scientists (B) "Research and Development of a Framework to Realize Consistent Contract Management in Service Composition" (Primary Investigator)
25. Grants-in-Aid (Kakenhi) for Young Scientists (Start-up) "Research on a Tool to Check and Realize Consistency in Multiple Contracts in Service Composition" (Primary Investigator)
26. Grants-in-Aid (Kakenhi) for Scientific Research (A) "Research on Middleware for Open Wireless Sensor Network"