Write a Blog >>
Gidon Ernst

Registered user since Wed 6 Feb 2019

Name: Gidon Ernst

Country: Australia

Affiliation: University of Melbourne

Personal website: https://people.eng.unimelb.edu.au/gernst/

Research interests: Software Verification, Theorem Proving

Contributions

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

Using general profile