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 (IPF)
  • Logique pour l’informatique en 1ère année
• Formation continue/Apprentissage :
  • Logique pour l’informatique en 1ère année
  • Compilation en 2ème année

Responsabilités (à l’ensiie) :

• Responsable des semestres 1 et 2 (resp-1a@ensiie.fr) et des stages de 1ère 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.