Start website main content

Bio

Ph.D. student since October 2019. I am proud to work in the ReTiS Laboratory under the guidance of Prof. Giorgio Buttazzo and Prof. Alessandro Biondi.

In June 2019, I obtained a Master's Degree in Embedded Computing Systems jointly from the University of Pisa and the Scuola Superiore Sant'Anna. I graduated cum laude with a thesis on "Interprocess communication mechanisms and exception handling for a real-time safety-critical kernel," sponsored by Rete Ferroviaria Italiana.

In 2022, I visited the System Research and Architecture (SRA) group at Leibniz Universität Hannover (Germany), where I spent six months as Doctoral Researcher in the group supervised by the Prof. Daniel Lohman.

I am co-founder of Delivery Aggregator, an incorporated startup specializing in last-mile logistics.

Since early 2022 I am a researcher in safety/security at Accelerat, an innovative spin-off startup working on software solutions for safe, secure, and predictable cyber-physical systems.

Research

My research is focused on operating systems and virtualization for real-time embedded systems. In particular, my research pertains to virtualization's use to increase a system's security. Some of the main topics, therefore, concern:
  • The role of virtualization in mixed-criticality systems
  • Improved programming models for managing security requirements
  • Develop mechanisms to avoid (or account for) interference due to resource sharing

Publications