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 :

Faculté des Sciences, de la Technologie et de la Communication 
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg

Office: Campus Kirchberg, L104




Office hours for students (room L104):

Monday, 14:30-17:00 and Tuesday, 14:30-17:00. Appointments outside office hours by email

News / Upcoming events

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: architecture design & timing and dependability verification  
  • Risk assessment: quantify risks using probabilistic models built from past 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 of me and a list of (academic) professional activities.

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

Highlights / Selected work