Peter Habermehl Teaching Activities
Administration
Courses
Projects
Administration
Courses
- Cours à l'Université
Paris Diderot (Paris 7):
Cours antérieurs
-
Vérification de systèmes dynamiques et paramétrés
(MPRI, 2010/2011)
- Analyse syntaxique et compilation (Licence 3ème année Informatique, 2010/2011)
- Logique (Licence 3ème année, 2010/2011)
- Modélisation et spécification (Master 2, 2010/2011)
- Automates avancés
(Mastère 1ère année Informatique, 2010/2011)
- Programmation logique par contraintes
(Mastère 1ère année Informatique, 2010/2011)
- Automates avancés
(Mastère 1ère année Informatique, 2009/2010)
- Logique
(Licence 3ème année Informatique, 2009/2010)
- Analyse syntaxique et compilation (Licence 3ème année Informatique, 2009/2010)
-
Vérification de systèmes dynamiques et paramétrés
(MPRI, 2009/2010)
- Introduction à
l'Informatique et la programmation
(Licence 1ère année, 2009/2011)
- Logique
(Licence 3ème année Informatique, 2008/2009)
- Analyse syntaxique et compilation (Licence 3ème année Informatique, 2008/2009)
- Automates avancés
(Mastère 1ère année Informatique, 2008/2009)
- Intelligence artificielle
(Maitrise Informatique, 2005/2006)
Proposals for Student Projects