About
Gerwin Klein is a Professor at UNSW Sydney (University of New South Wales) and affiliated with Proofcraft, based in Australia. His research focuses on Interactive Theorem Proving, Software Verification, and Semantics of Programming Languages.
0Publications listed
Find Gerwin Klein elsewhere
Related Searches
You Might Also Like
Johannes Aman PohjolaUniversity of New South Wales · Lecturer
Michael NorrishIMDEA Software Institute · Associate Professor
Rob SisonInria · Research Fellow
June AndronickNational and Kapodistrian University of Athens · Associate Professor
William ManskyInria · Assistant Professor
William ManskyUniversity of Illinois Chicago · Assistant Professor