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

• Our university startup Imiron is hiring.
• Slides for the ICTAC 2024 keynote: pdf
• Lecture notes for the ICTAC 2024 Tutorial: link
• Postdoc and senior researcher positions available. Check this out! call
  PhD studentships, too.
• Please follow this procedure if you are interested in an internship in our group.