Denis Zampunieris

• Home
• Publications

---

---

Curriculum Vitae

• Docteur en Sciences, option Informatique des Facultés Universitaires de Namur (Belgique)
• Professeur à l’Université du Luxembourg
• Membre du Conseil Facultaire de la Faculté Sciences, Technologie et Communication (STC)
• Coordinateur responsable de l’Unité d’Enseignement « Informatique » (diplôme d'ingénieur industriel) de la Faculté STC
• Member of « ERCIM - Working group eLearning »
• Responsable académique de l’équipe CICeL

Keywords of the research and teaching interests

TEACHING

• Programming languages and methodologies
• Validation and verification of software systems
• e-Learning systems and engineering methods
• Problem solving methods and tools

RESEARCH

• Design and development of interactive multimedia contents for e-Learning courses
• e-Learning management systems and tools
• Training of e-teachers

• Symbolic data structures
• Model checking for the formal verification of large software systems

Teaching

Formal Methods

E-learning

Intellectual Property

last modified:18 Feb 2009