Resume
Research Experience
- Senior Scientist at SnT Center, University of Luxembourg (2012–2019)
- Scientist at Simula Research Laboratory (2009–2012)
- Long-term research collaborations with industry partners in telecommunications, maritime, energy, automotive, and aerospace sectors
- Leads the Sedna Lab, focusing on software verification and analysis of cyber-physical systems (CPS) and autonomous, connected, and smart systems
- Research topics include requirements traceability, automated configuration of product line systems, design-time schedulability analysis, and CPS modeling and simulation