Registered user since Tue 9 Jun 2015
Name:Steve Zdancewic
Country:United States
Affiliation:University of Pennsylvania
Personal website: http://www.cis.upenn.edu/~stevez
Research interests:Programming Languages, Type Theory, Logic
Contributions
2022
CPP
- Session Chair of Chairs' Report and Business Meeting (part of CPP 2022)
- PC Chair in Program Committee within the CPP 2022-track
- PC Chair in Organization Committee within the CPP 2022-track
- Session Chair of Welcome from the chairs (part of CPP 2022)
- Session Chair of Proof Infrastructure, Rewriting and Automated Reasoning (part of CPP 2022)
- Session Chair of Invited Talk (part of CPP 2022)
POPL 2022-profile
View general profile
View general profile