Nicolas Ayache


Formal methods engineer-researcher at ClearSy

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 :