Mohamed Yacine EL HADDAD

Doctorant

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

Barbizon'18 : Deducteam's Session
Samovar'18 : Slides and Poster

Software

Ekstrakto : a TSTP to Dedukti translator
Dedukti : a universal proof checker
Lambdapi : an extension of Dedukti with metavariables and tactics

Education

Master Degree'16 in Software Engineering and Information Processing : Report (French only)

Contact

Adresse: LSV, CNRS & ENS Paris-Saclay
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Bureau: C1-13
Tél.: +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