- Professor
- Group MMM (aka Hasuo-Lab)
- National Institute of Informatics
- (Also at SOKENDAI)
- Research Director
- Founder, Director
- Portrait, apparently not sleeping
- To join us: as a student; as a postdoc
What's new
- Invited talk at FLoC 2026 Mentoring Workshop, "Finding Mathematical Problems in the Jungle of Automated Driving." slides
- Invited talk at the Structure Meets Power Workshop (SmP 2026), "Category Theory for Fast Model Checking Algorithms." slides
- Keynote talk at FM 2026, "Cutting out FM Angles from the Jungle of Automated Driving". slides
- Talk at SAKURA Final Event, "Towards Explainable Safety of Automated Driving: Safety Techniques from Mathematical Logic". slides (in Japanese)
- Lectures at Marktoberdorf Summer School 2025: slides and materials
- Our university startup Imiron is hiring.
- Slides for the ICTAC 2024 keynote: pdf
- Information on PhD studentships
- Please follow this procedure if you are interested in an internship in our group.