conf.researchr.org / Gidon Ernst
Gidon Ernst

Registered user since Wed 6 Feb 2019

Name: Gidon Ernst

Country: Germany

Affiliation: LMU Munich

Personal website: https://www.sosy-lab.org/people/ernst/

Research interests: Software Verification, Theorem Proving

Contributions

ASE 2020Author of Legion: Best-First Concolic Testing within the Research Papers-track
FTfJP 2019Committee Member in Program Committee within the FTfJP 2019-track
Co-chair in Organizing Committee within the FTfJP 2019-track