Antoine Toubhans
Researcher
Computer Science Department
Ecole Normale Superieure (ENS)
France
Biography
I'm a PhD student (since October 2011), under the supervision of Xavier Rival in the Abstract interpretation and semantics group of Computer Science Department at the École Normale Supérieure. I obtained a master's degree in 2011 from the École Polytechnique.
Research Interest
Static Analysis, Abstract Interpretation, Shape Analysis,
