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