Cursus :
Julien Forest est maître de conférences à l'ensIIe (Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise).
Ses thèmes de recherche sont les suivants : les fonctions récursives non structurelles en Coq : Définition et raisonnement, et la certification automatique de preuves en Coq : en particulier preuves de terminaiso.
Affiliation : ENSIIE (Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise)
Statut : Maître de conférences
