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
Luxembourg

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

Phone: 
(+352).46.66.44.52.73

Email:
firstname.lastname@uni.lu

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

News

Teaching 2017

Master of Computer Science of the University of Luxembourg
  • Dependable Systems (DS)  - Summer semester, 2nd Semester.
Academic Bachelor of Computer Science of the University of Luxembourg
  • Computing Infrastructure (CI)  - Summer semester, 2nd Semester.
  • Introduction to Networking (IN)  - Summer semester, 2nd Semester.
Professional Bachelor of Computer Science of the University of Luxembourg
  • Model-Based Design for Embedded Systems (MBDES)  - Winter semester, 5th Semester. 

Teaching 2014-2016

Bachelor of Computer Science of the University of Luxembourg
All the material of these courses is available for students from the Moodle Course Management System of the University of Luxembourg.
  • Model-Based Design for Embedded Systems (MBDES)  - Winter semester.
  • Industrial Communication Networks (ICN)  - Summer semester.
  • Rigorous methods for the design of reliable software-intensive systems (RM) - Summer semester.

Teaching 2013-2014

Bachelor of Computer Science of the University of Luxembourg
  • Model-Based Design for Embedded Systems (MBDES)  - Winter semester.
  • Industrial Communication Networks (ICN)  - Summer semester.
  • Rigorous methods for the design of reliable software-intensive systems (RM) - Summer semester.
    Ecole des Mines de Nancy, France
    • Design of Critical Systems (CS) - Nov 2013 to Feb. 2014

Teaching 2012-2013

Bachelor of Computer Science of the University of Luxembourg

  • Industrial Communication Networks (ICN)  - Winter and summer semester.
  • Discrete Mathematics 2 (DM2)  - Summer semester.
  • Rigorous methods for the design of reliable software-intensive systems (RM) - Summer semester.
Ecole des Mines de Nancy, France

  • Design of Critical Systems (CS) - Nov 2012 to Feb. 2013

Teaching 2011-2012

Bachelor of Computer Science of the University of Luxembourg

  • Course "Basics of Advanded Software Systems" - Summer semester.