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.

This website at NII is supplementary to the official website at JST.

ERATO MMSD started on October 1, 2016.

We are hiring!!