Nicolas Navet home page

Professor in Computer Science at the University of Luxembourg

Contact details

View Nicolas Navet's profile on LinkedIn

Affiliation :

University of Luxembourg

Faculty of Science, Technology and Medicine (FSTM)

Department of Computer Science

Laboratory of Advanced Software SYstems (LASSY)

Address :
6, Avenue de la Fonte
Maison du Nombre
L-4364 Esch-sur-Alzette

Campus Belval, Maison du Nombre, 03-15-120 




Research in real-time dependable systems and risk assessment

My objective is to contribute to the techniques, tools and computing platforms that will make it possible to build provably safe systems in a time and cost efficient manner, with applications to:

  • Automotive and aerospace embedded systems: automated synthesis of E/E architecture (design-space exploration, machine learning) & timing and dependability verification  
  • Risk assessment: quantify risks using probabilistic models built from historical data 

Here is a list of my publications (most are available for download) and slides from recent talks. You can find here a short biography and a list of (academic) professional activities.

Check-out CPAL - our proposal for the next generation low-code language to design, simulate and execute embedded systems.

Selected works