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

FTfJP 2019Committee Member in Program Committee within the FTfJP 2019-track
Co-chair in Organizing Committee within the FTfJP 2019-track
Show activities from other conferences

ECOOP 2019-profile
View general profile