Gerwin Klein

Registered user since Thu 12 Mar 2020

Name: Gerwin Klein

Country: Australia

Affiliation: CSIRO’s Data61 and UNSW Sydney

Personal website:

Research interests: Interactive Theorem Proving, Software Verification, Semantics of Programming Languages


CPP 2021Steering Committee Member in Steering Committee within the CPP 2021-track
CPP 2019Committee Member in Program Committee within the CPP 2019-track
ICFP 2016Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track