Name:Gerwin Klein

Country:Australia

Affiliation:Proofcraft and UNSW Sydney

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