Yann DUPLOUY

PhD student, IRT SystemX

About me

I am now a postdoctoral researcher at Loria, under the supervision of Stephen Merz and Marie Duflot-Kremer

I was a PhD student at IRT SystemX and LSV under the supervision of Serge Haddad and Béatrice Bérard since october 2015

Research (PhD)

Publications

See my list of publications.

Software

I actively participate in the development of the model-checker Cosmos.

PhD

Defence

I will defend my thesis on November, 26th at 14.00 CET. More information are available here, including the manuscript.

About LSV

Contact

Yann DUPLOUY
Address
LSV, CNRS & ENS Paris-Saclay
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
yann (dot) duplouy (at) lsv.fr