Vincent Penelle
Outils :
Je suis l’auteur de Cairn, un outil pour visualiser l’exécution d’un parseur implémenté avec Menhir (en OCaml).Responsabilités :
Je suis responsable du parcours «Informatique Fondamentale» du Master Informatique.2024-2025 :
Semestre 1 :
- Modèles de la programmation et du calcul (L3) avec Anca Muscholl
- Complexité et calculabilité (M1) avec Anca Muscholl
- Vérification des logiciels (M2) avec Grégoire Sutre (partie 2) et Jérôme Leroux (partie 3)
Semestre 2 :
2023-2024 :
Semestre 1 :
- Modèles de la programmation et du calcul (L3) avec Anca Muscholl
- Complexité et calculabilité (M1) avec Anca Muscholl
- Vérification des logiciels (M2) avec Grégoire Sutre (partie 2) et Jérôme Leroux (partie 3)
Semestre 2 :
2022-2023 :
Semestre 1 :
- Modèles de la programmation et du calcul (L3) avec Anca Muscholl
- Complexité et calculabilité (M1) avec Anca Muscholl
- Vérification des logiciels (M2) avec Grégoire Sutre (partie 2) et Jérôme Leroux (partie 3)
Semestre 2 :
- Compilation (L3)
- Techniques Algorithmiques et Programmation (L3) avec Cyril Gavoille
- Conception formelle, partie 2 (M1) avec Alain Griffault (partie 1)
2021-2022 :
Semestre 1 :
- Projet technologique (L2) (également semestre 2) avec Aurélien Esnard
- Programmation orientée objet (L3) avec Laurent Réveillère
- Complexité et calculabilité (M1) avec Anca Muscholl
- Vérification des logiciels (M2) avec Grégoire Sutre (partie 2) et Jérôme Leroux (partie 3)
Semestre 2 :
- Projets de programmation (M1) avec Philippe Narbel
- Techniques Algorithmiques et Programmation (L3) avec Cyril Gavoille
- Conception formelle, partie 2 (M1) avec Alain Griffault (partie 1)
2020-2021 :
Semestre 1 :
- Projet technologique (L2) (également semestre 2) avec Aurélien Esnard
- Programmation orientée objet (L3) avec Laurent Réveillère
- Complexité et calculabilité (M1) avec Anca Muscholl
- Vérification des logiciels (M2) avec Grégoire Sutre (partie 2) et Jérôme Leroux (partie 3)
Semestre 2 :
- Projets de programmation (M1) avec Philippe Narbel
- Techniques Algorithmiques et Programmation (L3) avec Cyril Gavoille
- Conception formelle, partie 2 (M1) avec Alain Griffault (partie 1)
2019-2020 :
Semestre 1 :
- Projet technologique (L2) (également semestre 2) avec Nicolas Bonichon
- Programmation orientée objet (L3) avec Laurent Réveillère
- Complexité et calculabilité (M1) avec Anca Muscholl
- Vérification des logiciels (M2) avec Grégoire Sutre (partie 2) et Jérôme Leroux (partie 3)
Semestre 2 :
- Projets de programmation (M1) avec Philippe Narbel
- Techniques Algorithmiques et Programmation (L3) avec Cyril Gavoille
- Conception formelle, partie 2 (M1) avec Alain Griffault (partie 1)
2018-2019 :
Semestre 1 :
- Complexité et calculabilité (M1) avec Anca Muscholl
- Programmation orientée objet (L3) avec Laurent Réveillère
- Vérification des logiciels (M2) avec Grégoire Sutre (partie 2) et Jérôme Leroux (partie 3)
Semestre 2 :
- Projets de programmation (M1) avec Philippe Narbel
- Techniques Algorithmiques et Programmation (L3) avec Cyril Gavoille
- Conception formelle, partie 2 (M1) avec Alain Griffault (partie 1)
2017-2018 :
Semestre 1 :
Semestre 2 :
Archives
Enseignements effectués à l’Université de Varsovie :
2016-2017 :
Enseignements effectués à l’université Paris-Est, Marne-la-Vallée :
2015-2016 :
- DUT MMI 1 : TD/TP Algorithmique et Programmation 1 avec Philippe Gambette.
- L2 : TP Programmation C avec Marc Zipstein (entre autres).
- L1 : TP Initiation aux systèmes informatiques avec Claire David (entre autres).
2014-2015 :
- L3 : TD/TP d'architecture des ordinateurs avec Xavier Goaoc.
- ESIPE, EISC1 : Cours d’architecture des ordinateurs avec Vincent Vong.
2013-2014 :
- L3 : TD/TP d'architecture des ordinateurs avec Xavier Goaoc.
- L1 : Programmation 1 avec Claire David (entre autres).
- DUT1 : TD de structures discrètes avec Samuele Giraudo.
2012-2013 :
- L3 : TD d'algo 4 avec Marie-Pierre Béal.
- L1 : TD de maths pour l'info 1 avec Ciryl Nicaud.
- DUT1 : TD de structures discrètes avec Samuele Giraudo.