SHORT BIO

(Ver. 2019/10)
Ichiro Hasuo, Ph.D., is an Associate 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 Global Research Center for Systems Design and Mathematics 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 joining NII, he held an Assistant Professor position at Research Institute for Mathematical Sciences (RIMS), Kyoto University, and Lecturer and Associate Professor positions at Department of Computer Science, the University of Tokyo. 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.

EDUCATION

JOB HISTORY

RESEARCH GRANTS

PROFESSIONAL SERVICES

HONORS AND AWARDS

INVITED TALKS

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

INVITED LECTURES

PERSONAL