• Sign in
  • Sign up
conf.researchr.org / Claire Dross
  • ECOOP 2025 profile
  • ETAPS 2019 profile
  • HILT'22 - Supporting a Rigorous Approach to Software Development profile
  • ICSE 2024 profile
  • ISSTA/ECOOP 2024 profile
  • POPL 2025 profile
  • SPLASH 2018 profile
Claire Dross

Registered user since Thu 19 Jul 2018

Name:Claire Dross
Bio:

Claire Dross has a PhD in deductive verification of programs using a satisfiability modulo theory solver with the Université Paris-Sud. She works at AdaCore, on the development of the SPARK 2014 formal verification toolset for Ada.

Country:France
Affiliation:AdaCore

Contributions

2025

FTfJP

  • PC Member in Program Committee within the FTfJP-track

VMCAI

  • Author of Two-way collaboration between flow and proof in SPARK within the VMCAI 2025-track

2024

FTfJP

  • Committee Member in Program Committee within the FTfJP 2024-track

FormaliSE

  • Author of Two-way collaboration between flow and proof in SPARKBA within the FormaliSE 2024-track
  • Session Chair of Theorem proving and applications (part of FormaliSE 2024)

2022

HILT

  • Committee Member in Program Committee within the HILT 2022-track

2019

VerifyThis

  • Committee Member in Organizing Committee within the VerifyThis-track

2018

HILT

  • Committee Member in Program Committee within the HILT 2018-track
Share
xWed 21 May 11:05
using conf.researchr.org (v1.69.0)
Support page
Sign Up