- Professor
- Group MMM (aka Hasuo-Lab)
- National Institute of Informatics
- (Also at SOKENDAI)
- Research Director
- Portrait, apparently not sleeping
- To join us: as a student; as a postdoc
What's new
- Please follow this procedure if you are interested in the NII internship in our group.
- ERATO MMSD Project Symposium on Wed 19 June, 2024. Please register!
- Slides for my talk at Forum "Math for Industry" 2023, Kyushu U., Aug 29 2023.
- Slides for my talk at VeriProP 2023.
- Giving three talks at Oxford on 19-21 June, on 1) compositional MDP model checking, 2) safety verification of automated driving vehicles, and 3) logic-guided optimization. Find slides here.
- New paper on proving safety of automated driving vehicles in IEEE Trans. Intelligent Vehicles. post
- Slides for my talk at VeriProP 2022. (2022/08/12)
- Slides for my talk at VardiFest. (2022/08/01)
- Slides for my talk at FoMLAS 2022. (2022/07/31)