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

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