克莱尔·德罗斯(Claire Dross)拥有博士学位，使用可满足模理论求解器(Université Paris-Sud)对程序进行演绎验证。她还拥有巴黎综合理工学院(Ecole Polytechnique)的工程学位和法国高等师范学院(Ecole Nationale Superieure des Télécommunications)的工程学位。在AdaCore，她全职工作于SPARK 2014正式验证工具。
克莱尔·德罗斯(Claire Dross)拥有博士学位，使用可满足模理论求解器(Université Paris-Sud)对程序进行演绎验证。她还拥有巴黎综合理工学院(Ecole Polytechnique)的工程学位和法国高等师范学院(Ecole Nationale Superieure des Télécommunications)的工程学位。在AdaCore，她全职工作于SPARK 2014正式验证工具。