SHORT BIO

(Ver. 2022/04)
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 interests include: mathematical (logical, algebraic and categorical) structures in software science (esp. formal methods); abstraction and generalization of deductive and automata-theoretic verification techniques; integration of formal methods and testing; and their 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); a JST PRESTO researchership; and a JST ERATO project (three were granted in 2016 out of proposals from all scientific fields). He is an Area Editor of the international journal New Generation Computing, and a steering committee member for the conference/workshop series CALCO and GaLoP. He has served in more than 50 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