Julien Cervelle

Julien Cervelle est professeur à l'université Paris-Est Créteil (UPEC).

Élève de l'école normale supérieure de Lyon, il a commencé sa carrière comme maître de conférence à l'université de Marne-la-Vallée. Une fois recruté à l'UPEC, il a dirigé le laboratoire d'informatique et le master d'informatique.

Ses thématiques de recherches touchent de nombreux aspects de l'informatique mathématique : la théorie des ensembles, l'arithmétique, la calculabilité, les systèmes dynamiques discrets ou les assistants de preuve.