Maître de conférences, ENSIIE
Équipe CPR, CÉDRIC
Tel : 01 69 36 73 69
Mail : julien.forest[at]ensiie.fr

Thèmes de recherche actuels :

• Fonctions récursives non structurelles en Coq : Définition et raisonnement
• Certification automatique de preuves en Coq : en particulier preuves de terminaison

Thèmes de recherche plus anciens :

• Vérification et Sécurité logicielles
• Terminaison en accord une stratégie en réécriture d’ordre supérieur
• Combinaison du filtrage et du λ-calcul
• Substitutions explicites

Enseignement (à l’ensiie) :

• Formation initiale :
  • TD de programmation impérative (IPI)
  • TD de programmation fonctionnelle (PRFO23)
  • TD de base de donnée (IBD)
  • Logique pour l’informatique en 1ère année
• Formation continue/Apprentissage :
  • Logique pour l’informatique en 1ère année

Publications

Développement de logiciels

• Publications

This document was translated from L^AT_EX by H^EV^EA.