ERATO MMSD is a JST-funded 5.5-year project (via the ERATO funding scheme) dedicated to Metamathematics for Systems Design (MMSD). It is led by Ichiro Hasuo, with its principal sites in Tokyo, Japan and Waterloo, Canada.

ERATO MMSD started on October 1, 2016.

We are hiring!!