Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Divya Gopinath
conf.researchr.org general profile
ASE 2019 profile
ICSE 2019 profile
ICSE 2021 profile
ICSE 2023 profile
ICSE 2025 profile
ISSTA 2020 profile
NASA Formal Methods 2024 profile
Registered user since Tue 14 Jul 2020
Name:
Divya Gopinath
Affiliation:
NASA Ames (KBR Inc.)
Contributions
2025
ICSE
Committee Member in Research Track within the Research Track-track
FormaliSE
Session Chair of Session 1 - Formal Methods and Autonomous Systems (part of Research Track)
Committee Member in Program Committee within the Research Track-track
2024
NFM
Conference Chair in Organizing Committee within the NFM 2024-track
Session Chair of Closing Session / NFM 2025 (part of NFM 2024)
Session Chair of Keynote Talk #2 (part of NFM 2024)
2023
ICSE
Program Committee Member in Technical Track within the Technical Track-track
2021
ICSE
Author of NEUROSPF: A Tool For the Symbolic Analysis of Neural Networks within the DEMO - Demonstrations-track
2020
ISSTA
Session Chair of MACHINE LEARNING I (part of Technical Papers)
Committee Member in Program Committee within the Technical Papers-track
2019
ASE
Author of Property Inference for Deep Neural Networks within the Research Papers-track
ICSE
Author of Symbolic Execution for Attribution and Attack Synthesis in Neural Networks within the Posters-track
Share
x
Sun 18 May 22:26
