|
|
|
Depuis Octobre 2009, Je suis en thèse avec Claude Marché au sein de l'équipe démons-ProVal (Laboratoire de Recherche en Informatique-INRIA Saclay - Île-de-France).
Sujet : Contraintes dynamiques de données dans les programmes à pointeurs.
Contact
| Addresse |
: |
LRI - Bâtiment 650 |
| |
|
Université Paris-Sud |
| |
|
91405 ORSAY Cedex - France |
| Bureau |
: |
68 |
| Téléphone |
: |
+33 (1) 69 15 67 20 |
| Mail |
: |
asma.tafat-bouzid@lri.fr |
|