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

IEEE Computer SI on Smart Autonomous Systems
ICST 2020 - Doctoral Symposium, March 23-27, 2020, Porto, Portugal
A-MOST 2020, March 23, 2020, Porto, Portugal
Q-VV 2020, March 27, 2020, Porto, Portugal
MT-CPS 2020, April 21, 2020, Sydney, Australia
Q-SE 2020, May 24/25/26, 2020, Seoul, South Korea
ABZ 2020, May 27-29, 2020, Ulm, Germany
GECCO 2020 - SBSE track, July 8-12, 2020, Cancun, Mexico

Past events