Davide Baroffio is a PhD student at the Department of Electronics, Information and Bio-engineering (DEIB) of Politecnico di Milano. He earned his MSc degree in Computer Science and Engineering cum Laude in 2023 and his primary research focus is on compiler technology for safety- and mission-critical systems through compiler-injected Software-Implemented Hardware Fault Tolerance (SIHFT) and WCET-driven optimization space exploration. In addition to his core research, Davide actively collaborates on projects related to distributed computing, embedded systems, real-time operating systems, and computer security as part of partnerships between Politecnico and external companies.