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.

Talks

About LSV

Contact

Mohamed Yacine EL HADDAD
Address
LSV, CNRS & ENS de Cachan
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