Denis Zampunieris
|
|
Professor Universität Luxemburg
|
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
