Start website main content

Bio

Researcher on software safety/security, since early 2022 I am an R&D Engineer at Accelerat, an innovative Scuola Superiore Sant'Anna spin-off startup working on software solutions for safe, secure, and predictable cyber-physical systems. Postdoc until December 2023, I proudly worked in the ReTiS Laboratory under the guidance of Prof. Giorgio Buttazzo and Prof. Alessandro Biondi.

In October 2023 I obtained my PhD in Emerging Digital Technologies (Embedded Systems), working on isolation mechanisms for mixed-criticality real-time systems. 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 had been a co-founder of Delivery Aggregator, a startup specializing in last-mile logistics.

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