Ichiro Hasuo

Ichiro Hasuo is a Professor at the National Institute of Informatics (NII) in Tokyo, Japan, where he serves as Director of the Research Center for Mathematical Trust in Software and Systems. He holds a joint appointment at The Graduate University for Advanced Studies (SOKENDAI). Since 2016, he has been the Research Director of the JST ERATO Metamathematics for Systems Design Project, and founded Imiron Co., Ltd. in 2024.

Education:

• PhD in Computer Science (cum laude) from Radboud University Nijmegen (2008)
• MSc in Mathematical and Computing Sciences from Tokyo Institute of Technology (2004)
• BSc in Mathematics from University of Tokyo (2002)

His research focuses on foundational aspects of software science, particularly formal verification techniques using mathematical structures from category theory and coalgebra. He develops methods for ensuring reliability in cyber-physical systems and systems incorporating machine learning components. Current work emphasizes logical frameworks for autonomous vehicle safety and mathematical trust in complex systems.

Hasuo's publications demonstrate consistent focus on theoretical foundations with practical applications. His recent work spans coalgebraic verification methods, temporal logic for hybrid systems, quantum programming semantics, and applications to autonomous driving systems. Key themes include compositional reasoning, probabilistic modeling, and the integration of discrete and continuous system verification.

Awards and Honors:

• Best Paper Award at ICTAC 2024
• Minister of Education, Culture, Sports, Science and Technology Commendation (2024)
• Distinguished Paper Award at CAV 2023
• Outstanding Reviewer Award at EMSOFT 2022
• Best Paper Award at ICECCS 2018
• Best Paper Award at CONCUR 2014
• Hiroshi Fujiwara Encouragement Prize (2012)
• PhD cum laude (2008)

He leads multiple major research grants including:

• JST ASPIRE (2024-2029) for international collaboration on software trust
• JST START (2022-2025) for autonomous driving verification
• JST ERATO Metamathematics for Systems Design (2016-2025)
• Several JSPS KAKENHI grants

As head of the MMM laboratory (Hasuo-Lab) at NII, he supervises PhD students and postdoctoral researchers in formal methods and mathematical systems design.