POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Gerwin Klein

Registered user since Thu 12 Mar 2020

Name:Gerwin Klein
Affiliation:Proofcraft and UNSW Sydney
Personal website: http://doclsf.de
Research interests:Interactive Theorem Proving, Software Verification, Semantics of Programming Languages


Show activities from other conferences

Using general profile