HASUO Metamathematics for Systems Design

Project Homepage

Hasuo_portrait

Research Director: Ichiro HASUO
(Associate Professor, National Institute of Informatics)
Research Term: 2016-2021

 

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.

 

HasuoPJ_fig_en

 

Research Groups

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

 

Project Headquarter

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

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

Quick Access

Quick Access

Program

Program
  • CREST
  • PRESTO
  • ACT-I
  • ERATO
  • ACT-C
  • ACCEL
  • ALCA
  • RISTEX
Finish programs
  • Pamphlet
  • ProjectDatabase
  • GlobalActivities
  • Diversity
  • OpenSciencePolicy
  • InquiryForm