|
|
|
I am a PhD candidate since October 2009 in the team démons-ProVal (Laboratoire de Recherche en Informatique-INRIA Saclay - Île-de-France), under supervision Claude Marché.
Subject : Data dynamic constraints in programs with pointers.
Contact
| Address |
: |
LRI - Bâtiment 650 |
| |
|
Université Paris-Sud |
| |
|
91405 ORSAY Cedex - France |
| Office |
: |
68 |
| Phone |
: |
+33 (1) 69 15 67 20 |
| Mail |
: |
asma.tafat-bouzid@lri.fr |
|
