Ph.D. students
TeCIP Institute
Gabriele Serra
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.
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