SHORT BIO

(Ver. 2024/02)
Ichiro Hasuo, Ph.D., is a Professor at National Institute of Informatics (NII), Tokyo, Japan. He is at the same time the Research Director of the JST ERATO ``Metamathematics for Systems Design'' Project, and the Director of Research Center for Mathematical Trust in Software and Systems at NII. He received PhD (cum laude) in Computer Science from Radboud University Nijmegen, the Netherlands, in 2008 where he was affiliated with the Security of Systems group and supervized by Prof.Dr. Bart Jacobs. Before the current position, he held an Assistant Professor position at Research Institute for Mathematical Sciences (RIMS), Kyoto University, Lecturer and Associate Professor positions at Department of Computer Science, the University of Tokyo, and an Associate Professor position at NII. His research field is software science and his interests include formal verification, mathematical and logical structures, integration of formal methods and testing, and application to cyber-physical systems and systems with statistical machine learning components. He is a recipient of Hiroshi Fujiwara Encouragement Prize for Mathematical Sciences in 2012 (supported by Mathematical Society of Japan), the best paper awards at CONCUR 2014 (jointly with Natsuki Urabe) and at ICECCS 2018 (jointly with Etienne Andre and Masaki Waga), and the distinguished paper award at CAV 2023 (jointly with Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, and Roberta Gori); a JST PRESTO researchership; a JST ERATO project (three were granted in 2016 out of proposals from all scientific fields); and a JST ASPIRE grant. He is an editorial board member of Journal of Logical and Algebraic Methods in Programming, an Area Editor of the international journal New Generation Computing, and a steering committee member for the conference/workshop series ATVA, CALCO and GaLoP. He has served in more than 70 program committees of international conferences and workshops.

PROFESSIONAL MEMBERSHIP

ACM, IEEE, SAE;
The Mathematical Society of Japan, Japan Society of Software Science and Technology, Information Processing Society of Japan, The Society of Instrument and Control Engineers (Japan), Society of Automotive Engineers of Japan

EDUCATION

JOB HISTORY

RESEARCH GRANTS

PROFESSIONAL SERVICES

HONORS AND AWARDS

INVITED TALKS AND PANELS

(Slides are found here; those in Japanese are listed here)

Lecture Notes

INVITED LECTURES

PERSONAL