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 CFPs

iMLSE 2020, December 1, 2020, virtual
VaMoS 2021, February 9-11, 2021, Krems, Austria
SAC 2021 - IAR track, March 22-26, 2021, Gwangju, South Korea
SAC 2021 - SA-TTA track, March 22-26, 2021, Gwangju, South Korea
A-MOST 2021, April, 2021, virtual

Past events