Adrien Durier - Research Website

 I am currently a postdoc/research engineer on a joint project between Laboratoire des Méthodes Formelles (LMF, Université Paris-Saclay) and IRT SystemX , supervised by Burkhart Wolff and Paolo Crisafulli (IRT SystemX).

 Formerly, I have been:

• Post-doc at Max Planck Institute for cybersecurity and privacy, and previously INRIA in the team PROSECCO, supervised by Cătălin Hriţcu
• PhD student at Ecole Normale Supérieure de Lyon, and Università di Bologna, under the supervision of Daniel Hirschkoff and Davide Sangiorgi.
• I have done my master's thesis at Master Parisien de Recherche en Informatique (MPRI, Université Paris-Diderot), and previously studied at ENS Lyon.

Various links:

• The coq proofs for the paper Divergence and unique solution of equations are here (or on github)
• The list of my publications on DBLP
• My CV (in french)

PhD Defense

My phd defense can be watched on Youtube.

An updated version of my thesis can be downloaded here (updated on 06/11/2020 [aknowledgements]).