Speaker
Ichiro Hasuo
Professor at the National Institute of Informatics (NII), Tokyo, Japan
Bio
Ichiro Hasuo, Ph.D., is a Professor at National Institute of Informatics (NII), Tokyo, Japan. He is, at the same time, a founder and Chief Scientific Officer of the university startup Imiron Co., Ltd. He received PhD in computer science (cum laude) from Radboud University Nijmegen in 2008, supervized by Prof. Dr. Bart Jacobs. Before the current positions, he held positions at RIMS, Kyoto University, and Dept. Computer Science, the University of Tokyo. He is a recipient of multiple paper awards (CONCUR 2012, ICECCS 2018, CAV 2023, ICTAC 2024, ATVA 2025), and prestigious research grants (JST ERATO and ASPIRE). His interests are in the theory and practice of software, in particular, in categorical foundations of formal verification, and model-less light-weight formal methods for cyber-physical systems.