Home

Publications

Teaching

Links

Contacts

I am project assistant professor in the ERATO Metamathematics for Systems Design project at the National Institute of Informatics.

I obtained a PhD degree in Computer Science at the Computer Science of the University of Milan (advisor Elvinia Riccobene).
I was postdoctoral fellow at CNR - IDPA (advisor Gloria Bordogna) and at the Department of Engineering of the University of Bergamo (advisor Angelo Gargantini).
I was assistant professor at the Department of Distributed and Dependable Systems of Charles University.


Upcoming events

FAACS 2018, September 25, 2018, Madrid, Spain
AKSAS 2018, September 25, 2018, Madrid, Spain
IWCFS 2018, October 24, 2018, Marrakesh, Morocco
SAC 2019 - IAR track, April 8-12, 2019, Limassol, Cyprus
SAC 2019 - SA-TTA track, April 8-12, 2019, Limassol, Cyprus

Past events