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

ABZ 2018, June 5-8, 2018, Southampton, UK
FAACS 2018, September 24, 2018, Madrid, Spain
AKSAS 2018, September 24-26, 2018, Madrid, Spain
IWCFS 2018, October 24, 2018, Marrakesh, Morocco

Past events

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