![Gerwin Klein](https://popl22.sigplan.org/getProfileImage/gerwinklein/e43c7d96-16b8-4b1d-9884-5e17555fa8a0/small.jpg?1714544127000)
Registered user since Thu 12 Mar 2020
Name:Gerwin Klein
Country:Australia
Affiliation:Proofcraft and UNSW Sydney
Personal website: http://doclsf.de
Research interests:Interactive Theorem Proving, Software Verification, Semantics of Programming Languages
Contributions
POPL 2022-profile
View general profile
View general profile