Je suis doctorant de l'université Paris XI au Laboratoire de Recherche en Informatique. Je travaille dans l'équipe Démons sous la direction de Mme Christine Paulin-Mohring. Mon sujet de thèse est Un environnement pour la programmation avec types dépendants. Mon travail consiste à concevoir des méthodes pour rendre la définition et le raisonnement sur des programmes certifiés plus aisés. Une version préliminaire de ma thèse est maintenant disponible, commentaires bienvenus !

Here's my schedule: