• Sign in
  • Sign up
conf.researchr.org / Darren Cofer
  • ICSE 2019 profile
  • NASA Formal Methods 2023 profile
  • NASA Formal Methods 2024 profile
Darren Cofer

Registered user since Fri 9 Dec 2022

Name:Darren Cofer
Country:United States
Affiliation:Collins Aerospace
Personal website: https://loonwerks.com/
Research interests:formal methods, machine learning, verification, aerospace

Contributions

2024

NFM

  • Committee Member in Program Committee within the NFM 2024-track
  • Panelist of Panel: Trusted Autonomy for Space and Aviation within the NFM 2024-track

2023

NFM

  • Author of Verifying an Aircraft Collision Avoidance Neural Network with Marabou within the NFM 2023-track
  • Committee Member in Program Committee within the NFM 2023-track

2019

ICSE

  • Committee Member in Program Committee within the Software Engineering in Practice-track
Share
xSun 18 May 05:59
using conf.researchr.org (v1.69.0)
Support page
Sign Up