Welcome to my home page
I am a PHD student in computer science at CEA List.
I am interested in static analysis by abstract interpretation, I'm working on new methods that improve the fixe-point computation using convex and numerical analysis methods. My thesis is co-supervised by Eric Goubault and Olivier Bouissou.