This page only includes key publications and activities. Please refer to the links for the full list.
Selected 5 Funded Projects
- Grants-in-Aid (Kakenhi) for Scientific Research (B) "Continuous and Flexible Sophistication and Evolution of Assured Multi-Level System Models"(Primary Investigator)
- Japan Science and Technology Agency Exploratory Research for Advanced Technology (ERATO) "Metamathematics for Systems Design Project" (Group Leader)
- Grants-in-Aid (Kakenhi) for Young Scientists (A) "Research on Complexity Distribution and Consistency Assurance in Stepwise Refinement" (Primary Investigator)
- IPA "Partial and Gradual Application of Formal Specification and Test Generation - Support of Code-Centric Incremental Development through Exploration" (Primary Investigator)
- FP7/NICT FP7-EU-Japan STREP "ClouT: Cloud of Things for empowering the citizen clout in smart cities" (Japan-side Platform Leader)