SHORT BIO

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. 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; and their application to cyber-physical systems. He is a recipient of: Hiroshi Fujiwara Encouragement Prize for Mathematical Sciences in 2012 (supported by Mathematical Society of Japan); the best paper award at CONCUR 2014 (jointly with Natsuki Urabe); a JST PRESTO researchership; and a JST ERATO project (three were granted in 2016 out of proposals from all scientific fields).

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