Formal methods engineer-researcher at Nomadic Labs
Former post-doctoral researcher at the Preuves, Programmes et Systèmes laboratory, working on the CerCo project
Ph.D. in Computer Science of Université Paris-Sud (Paris 11)
Research interests : proof of programs, static analysis (model checking, abstract interpretation, theorem provers)
Contact :