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.


(2018/12/17) Our paper “Offline timed pattern matching under uncertainty” (Étienne André, Ichiro Hasuo & Masaki Waga) received the best paper award at ICECCS 2018!