I am a Ph.D student in Computer Science in the Synchrone team of the Verimag laboratory. I work under the supervision of David Monniaux and Matthieu Moy.
My PhD topic is "Static Analysis by Abstract Interpretation and Decision Procedures".
Contact:
| Address: |
VERIMAG Centre Équation 2, avenue de Vignate 38610 Gières FRANCE |
| Mail: | First Name.Last Name@imag.fr |
