Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI
Gerwin Klein

Registered user since Thu 12 Mar 2020

Name:Gerwin Klein
Country:Australia
Affiliation:CSIRO's Data61 and UNSW Sydney
Personal website:http://doclsf.de
Research interests:Interactive Theorem Proving, Software Verification, Semantics of Programming Languages

Contributions

PLDI 2021 Session Chair of Ask Me Anything (part of Ask Me Anything)
Committee Member in Program Committee within the PLDI-track
Show activities from other conferences

PLDI 2021-profile
View general profile