Mohamed Yacine EL HADDAD

PhD Student

About me

I'm currently a PhD Student at LSV under the supervision of Frédéric Blanqui and Guillaume Burel.
I'm working on Integrating Automated Provers in Proof Assistants.
For more information about my thesis please follow this link.

Talks

Software

Education

About LSV

Contact

Mohamed Yacine EL HADDAD
Address
LSV, CNRS & ENS Paris-Saclay
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office
C1-13
Phone
+33 (0)1 47 40 77 82
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
yacine (dot) el.haddad (at) lsv.fr