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

SAC 2019 - IAR track, April 8-12, 2019, Limassol, Cyprus
SAC 2019 - SA-TTA track, April 8-12, 2019, Limassol, Cyprus
A-MOST 2019, April 22, 2019, Xi'an, China
CEC 2019 - Special Session on Search-based and Machine Learning Methods in Software Engineering, June 10-13, 2019, Wellington, New Zealand
IWCFS 2019, August 26-29, 2019, Linz, Austria
SPLC 2019, September 9-13, 2019, Paris, France

Past events