I am currently a Postdoctoral Research Fellow in the ASSET (Automated System SEcuriTy) Research Group at the Singapore University of Technology and Design (SUTD), where I work on safety and performance validation of robotic systems. I also collaborate with the ESD (Electronic Systems Design) Research Group of the University of Verona, working on the automatic generation of virtual prototypes for heterogeneous embedded systems. Before joining SUTD I was a Postdoctoral Researcher at the department of Computer Science of University of Verona for two years.
I achieved my Ph.D. in Computer Science at the University of Verona in 2016, under the supervision of Prof. Franco Fummi. In 2012, I received my Master’s degree (M.Sc.) in Computer Science and Engineering with a thesis on modelling languages for heterogeneous embedded systems. I received my Bachelor’s degree (B.Sc.) in Computer Science at the University of Verona in 2010.
During my Bachelor’s degree a year at the ESLab (Embedded Systems Laboratory) of the Linköping University (Sweden), where I was introduced to research, while developing part of my bachelor thesis under the supervision of Prof. Zebo Peng. In 2015, I spent eight months of my Ph.D. last year the University of California, Berkeley, where I carried on my research supervised by Prof. Alberto Sangiovanni-Vincentelli, and Dr. Pierluigi Nuzzo. With them I developed the first version of CHASE.
In 2017 I married Anna, with whom I live now in Singapore. She is writing about all our adventure around the world in her stunning blog. If you can read italian, I strongy suggest to take a look at it!