Most Recent

Embedded

What's the Difference Between Sound and Unsound Static Analysis?

Sept. 13, 2018

Software

What’s the Difference Between Ada and SPARK?

Nov. 19, 2015

Claire Dross

Senior Software Engineer

https://www.adacore.com

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.