Claire Dross

Senior Software Engineer

Claire Dross has a PhD in deductive verification of programs using a satisfiability modulo theory solver with the Université Paris-Sud. She also has an engineering degree from the Ecole Polytechnique and an engineering degree from the Ecole Nationale Superieure des Télécommunications. At AdaCore, she works full-time on the SPARK 2014 tool for formal verification.