Ichiro Hasuo

• National Institute of Informatics
• ichiro [at] is.s.u-tokyo.ac.jp

• English
• Japanese
• Dutch
• Chinese

• Home
• Contact
• Research
• Cv
• Papers
• Talks
• Teaching
• Group

• Professor
• Group MMM (aka Hasuo-Lab)
• National Institute of Informatics
• (Also at SOKENDAI)
• Research Director
• JST ERATO Metamathematics for Systems Design Project
• Founder, Director
• Imiron Co., Ltd.
• Portrait, apparently not sleeping
• To join us: as a student; as a postdoc

What's new

• 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.