Home

Publications

Teaching

Links

CV

Contacts

I am project associate professor in the ERATO Metamathematics for Systems Design project at the National Institute of Informatics.


Upcoming events

A-MOST 2019, April 22, 2019, Xi'an, China
CEC 2019 - Special Session on Search-based and Machine Learning Methods in Software Engineering, June 10-13, 2019, Wellington, New Zealand
EnSEmble 2019, August 26-30, 2019, Tallin, Estonia
IWCFS 2019, August 26-29, 2019, Linz, Austria
SPLC 2019, September 9-13, 2019, Paris, France
FAACS 2019, September 9-13, 2019, Paris, France
AFFORD 2019, October 7-11, 2019, Porto, Portugal

Past events