His research focuses on real-time and embedded systems, with a particular focus on OS-level multi-core resource management technologies for high-performance, safety-critical avionics and automotive systems. He is also interested in applications and methodologies for design, deployment and analysis of cyber-physical systems, real-time cloud computing, embedded systems security, and systems technologies for UAVs.