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 24, 2018, Madrid, Spain
AKSAS 2018, September 25, 2018, Madrid, Spain
IWCFS 2018, October 24, 2018, Marrakesh, Morocco

Past events

ABZ 2018, June 5-8, 2018, Southampton, UK
A-MOST 2018, April 13, 2018, Västerås, Sweden
SAC 2018 - IAR track, April 9-13, 2018, Pau, France
SAC 2018 - SA-TTA track, April 9-13, 2018, Pau, France
FACS 2017, October 10-13, 2017, Braga, Portugal
FAACS 2017, September 4, 2017, Trento, Italy
SAC 2017 - IAR track, March 27-31, 2017, Marrakech, Morocco
SAC 2017 - SA-TTA track, March 27-31, 2017, Marrakech, Morocco
A-MOST 2017, March 17, 2017, Tokio, Japan
ICITCS 2016 Software Testing Track, September 26-29, 2016, Prague, Czech Republic
ABZ 2016, May 23-27, 2016, Linz, Austria
A-MOST 2016, April 11, 2016, Chicago, IL, USA
SAC 2016 - IAR track, April 4-8, 2016, Pisa, Italy