
Registered user since Fri 19 Feb 2016
Name:Dexter Kozen
Country:United States
Affiliation:Cornell University
Personal website:http://www.cs.cornell.edu/~kozen/
Contributions
POPL 2017 | Committee Member in Program Committee within the POPL-track Cantor Meets Scott: Semantic Foundations for Probabilistic Networks | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile