Home

Publications

Teaching

Links

CV

Contacts

Curriculum vitae

Project associate professor in the ERATO Metamathematics for Systems Design project at the National Institute of Informatics. April 2019 - present

Project assistant professor in the ERATO Metamathematics for Systems Design project at the National Institute of Informatics. March 2018 - March 2019

Assistant professor at the Department of Distributed and Dependable Systems of Charles University. March 2015 - February 2018

Postdoctoral fellow at the University of Bergamo (advisor Angelo Gargantini). October 2013 - February 2015

Postdoctoral fellow at CNR - IDPA (advisor Gloria Bordogna). January 2013 - September 2013

PhD in Computer Science at the Computer Science Department of the University of Milan (advisor Elvinia Riccobene). January 2010 - December 2012