Contact
- Tél. : (+33) (0)1 72 92 59 95
- Email : mebsout{at}lri{point}fr
- Adresse :
INRIA Saclay - île-de-France
ProVal
Parc Club Orsay Université, bâtiment N
4 rue Jacques Monod
F-91893 Orsay cedex
France
Qui suis-je / Who am I ?
Je suis ingénieur jeune diplômé dans l'équipe ProVal à l'INRIA Salcay - Île-de-france et je travaille sur le prouveur SMT Alt-Ergo.
I'm an engineer in the ProVal team at the INRIA Salcay - Île-de-france and I work on the SMT prover Alt-Ergo.