HASUO Metamathematics for Systems Design

Project Homepage


Research Director: Ichiro HASUO
(Associate Professor, National Institute of Informatics)
Research Term: Oct 2016 - Mar 2022
Grant Number: JPMJER1603


ICT is changing the landscape of manufacturing with pervasive automation and computer support in design and production processes. Our project aims to leverage techniques from software science—specifically the body of mathematical techniques called formal methods—in manufacturing, eventually leading to software tools that support various stages of design processes.

In doing so we face the challenge of extending formal methods so that they encompass features of industry products like continuous dynamics and quantitative concerns (probability, time, etc.). We adopt a unique meta-theoretical approach that formulates and studies, in mathematically rigorous terms, the process itself of extending (object-level theories of) formal methods to new concerns. This way we achieve rapid and comprehensive extension of formal methods from software to industry products. Our results will be applied to real-world problems, especially in automotive industry.




Research Groups

・ Metatheoretical Integration
・ Heterogeneous Formal Methods
・ Formal Methods in Industry
・ Formal Methods and Intelligence


Project Headquarters

Palaceside Building Room 309,
1-1-1 Hitotsubashi, Chiyoda-ku, Tokyo, 100-0003, Japan

TEL・FAX: +81 (0) 3 6273 4886

Quick Access


  • ACT-I
  • ACT-X
  • ALCA
  • Manuals
  • AIP Network Lab
  • JST ProjectDB
  • Global Activities
  • Diversity
  • SDGs
  • OSpolicy
  • Yuugu
  • Questions