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:

Various links:


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]).