Julien Forest est maître de conférences et dirige le Diplôme d’Ingénieur spécialité Informatique Mathématiques et Organisation des Entreprises de l’ENSIIE - École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise.

Il est titulaire d’un doctorat en sciences de l’Université Paris XI. Ses recherches portent sur les fonctions récursives non structurelles en Coq et la certification automatique de preuves en Coq.

Récompenses reçues