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

Computer Science and Communications (CSC) Research Unit

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: generative design & 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.

12/2018: Phd positions in the design of automotive electrical and electronic architectures in partnership with a leading automotive OEM. Applicants with a M.S. degree in CS, EE or applied mathematics are invited to submit CV, research statement (describing research experience) and a letter of motivation.Candidates selected for the second round will have to provide 2 letters of reference. 

Highlights / Selected work