Research

My main research topics are:

• Real-Time computing and Mixed-Criticality
• Probabilistic Timing Analyses for Real-Time
• Software-Implemented Hardware Fault Tolerance
• Temporal and Reliability metrics in High-Performance Computing

Laboratory: HEAP Lab @ Politecnico di Milano.
Find the latest version of my CV on the official POLIMI page.

Are you a master student? Check the thesis proposals.

National Scientific Qualification

09/H1 - Computer engineering, obtained in 2022 (2nd level).

Research tools

• ASPIS
• chronovise
• Barbeque Run-Time Resource Manager

Main research projects

• ICSC
• ISOLDE
• TEXTAROSSA
• RECIPE
• MANGO

ORCID

0000-0002-1888-9579

Visiting Researcher

• New Jersey Institute of Technology (website)
  • prof. Jing Li
  • Jun 2024 - now
• European Space Agency (website) - ESTEC - Flight Software section (TEC-SWF)
  • Jan 2024 - Apr 2024
• University of Central Florida (website) - Real-Time & Intelligent Systems Lab
  • prof. Zhishan Guo
  • Oct 2019 - Jan 2020
• ONERA French Aerospace Laboratory (website) - Information Processing and Systems Department
  • prof. Luca Santinelli
  • Oct 2018 - Jan 2019

Scientific Community roles

• Guest editor: Special Issue on Fault-Resilient Cyber-Physical Systems, ACM Transactions on Cyber-Physical Systems (2022-2024).
• Workshop organization: INTESA workshop 2019 (program co-chair), NG-RES workshop 2020-2021 (web and submission chair), NG-RES workshop 2022 (program chair).
• TPC member for the following conferences: IEEE IGSC 2020-2021, ICICT 2021-2022, IEEE HiPC 2022, RTNS 2023, RTNS 2023, RTAS 2024, RTAS 2024, RTAS 2024, ECRTS 2024, DATE 2023-2024-2025.
• Reviewer for several journals and conferences (you can find the full list in my CV).