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
FAACS 2020, September 14, 2020, L'Aquila, Italy
ECSA 2020 - Gender Diversity in SA, September 14-18, 2020, L'Aquila, Italy
IWCFS 2020, September 14-17, 2020, Bratislava, Slovakia
DepDevOps 2020, September 15, 2020, Lisbon, Portugal
SOFSEM 2021 - FSE track, January 25-28, 2021, Bolzano-Bozen, Italy
VaMoS 2021, February 9-11, 2021, Krems, Austria

Past events