Senior Software Engineer


In charge of AdaCore's GNATcoverage product: manage QA, decide on the product directions, drive the efforts involved in pursuing these directions (new ports, new functionalities, improvements in existing features, ...). In charge of driving regular moves of our compilation toolchain to newer versions of GCC, for all our supported targets.

Articles 1 - 1
Debug & Test

A source-annotation-based framework for structural coverage analysis tool testing - Other

January 19, 2017

  Automated testing of software tools always requires some way of comparing what the tool does against what we expect it to do. Testing compilers, for example, usually entails verifying the...

Articles 1 - 1