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

VaMoS 2020, February 5-7, 2020, Magdeburg, Germany
IEEE Computer SI on Smart Autonomous Systems
ICST 2020 - Doctoral Symposium, March 23-27, 2020, Porto, Portugal
Q-VV 2020, March 27, 2020, Porto, Portugal
SAC 2020 - IAR track, March 30-April 3, 2020, Brno, Czech Republic
SAC 2020 - SA-TTA track, March 30-April 3, 2020, Brno, Czech Republic
ABZ 2020, May 27-29, 2020, Ulm, Germany

Past events