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
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
CPS@MEDI 2019, October 28, 2019, Toulouse, France
SAC 2020 - SA-TTA track, March 30-April 3, 2020, Brno, Czech Republic

Past events