Peter Habermehl Teaching Activities
Administration
Courses
Projects
Administration
Courses
- Cours à Université Paris Cité (ex Université de Paris, ex Université Paris Diderot):
Cours antérieurs
- Compilation (TP, Mastère 1ère année, 2018/2022)
- Algorithmique (TD, Mastère 1ère année Informatique, 2019/2022)
- Automates et Analyse Lexicale (TD/TP, Licence Informatique 2ème année, 2018/2022)
- Langages de script (Cours/TP, Licence Informatique 3ème année, 2014/2018)
- Bases de données (TD/TP, Licence 2ème année Informatique, 2014/2017)
- Programmation fontionnelle (TP, Licence 3ème année Informatique, 2014/2017)
- Logique
(Licence 3ème année Informatique, 2014/2015)
- Projet Informatique
(Licence 2ème année Informatique, 2014/2017)
- Analyse de données structurées
- Programmation logique par contraintes
(Mastère 1ère année Informatique, 2012/2022)
- Projet Informatique (Licence 2ème année),
- Logique
(Licence 3ème année Informatique, 2013/2014)
- Automates avancés
(Mastère 1ère année Informatique, 2012/2013)
- Bases de données (Licence 3ème année Informatique, 2012/2013),
- Langages de script (Licence 2ème année),
-
Vérification de systèmes dynamiques et paramétrés
(MPRI, 2011/2012)
- Programmation logique par contraintes
(Mastère 1ère année Informatique, 2011/2012)
- Automates avancés
(Mastère 1ère année Informatique, 2011/2012)
- Logique
(Licence 3ème année Informatique, 2011/2012)
- Bases de données
(Licence 3ème année Informatique, 2011/2012)
-
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