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 fonctionnelle (IAP1)
  • Cours d’algorithmique en 1ère année (IAP3)
• Formation continue/Apprentissage :
  • Logique pour l’informatique en 1ère année
  • Compilation en 1ère année

Responsabilités (à l’ensiie) :

• Responsable des stages de 2ème année : stages1a2a@ensiie.fr
• Membre élu du Conseil Scientifique
• Membre élu du Conseil des Études

Publications

Développement de logiciels

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