Research Scientist at Onera - [PGP]
Research interests: abstract interpretation, formal verification, theorem provers, symbolic model checking, control software analysis, non linear dynamical systems, convex optimization. Follow @verif_paper on Twitter for related publications.
