I closely work with industries on R&D and innovation projects. In particular, I am working (or recently worked) on
- Automotive: autonomous driving software, safe and secure multi-domain systems with heterogeneous computing platforms, hypervisor-based virtualization, time-predictable hardware acceleration, trusted execution environments, design optimization of engine-control software.
- Railway: safety-critical operating systems and hypervisors (according to EN50128/9), design and analysis methodologies for safety-critical railway software.
- Avionics and drones: methodologies for transitioning helicopter flight control software to multicores, multi-domain navigation system for drones, time-predictable hardware acceleration.