Votre navigateur est obsolète !

Pour une expériencenet et une sécurité optimale, mettez à jour votre navigateur. Mettre à jour maintenant

×

amina bousalem

Étudiante en Master 2 Informatique à l'Université Paris Sud.Je suis à la recherche d'un contrat de travail à partir du mois de septembre.Très passionnée par l'ingénierie du logiciel.

amina bousalem
30 ans
2 Rue gaston Levy, 92330 Sceaux (92330) France
Situation professionnelle
En fin d'études
Ouverte aux opportunités
CV réalisé sur DoYouBuzz
  • Démonstration automatique en coq.
    faire interagir Coq avec des prouveurs automatiques externes de satisfiabilité(prouveurs SAT et SMT).