CPP 2025
Mon 20 - Tue 21 January 2025 Denver, Colorado, United States
co-located with POPL 2025
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (46)

B
Beringer, Lennart
Princeton UniversityUnited States
Blanchette, Jasmin
Vrije Universiteit AmsterdamNetherlands
Boldo, Sylvie
Inria and Université Paris-SaclayFrance
Chlipala, Adam
Massachusetts Institute of TechnologyUnited States
de Jong, Tom
University of NottinghamUnited Kingdom
F
Frumin, Daniel
University of GroningenNetherlands
K
Kaliszyk, Cezary
University of MelbourneAustralia
Klein, Gerwin
Proofcraft and UNSW SydneyAustralia
Komendantskaya, Ekaterina
Heriot-Watt University and Southampton UniversityUnited Kingdom
Kraus, Nicolai
University of NottinghamUnited Kingdom
Lewis, Robert Y.
Brown UniversityUnited States
M
Mansky, William
University of Illinois ChicagoUnited States
Massot, Patrick
Université Paris-SaclayFrance
Mayero, Micaela
LIPN, Université Paris 13France
Miller, Dale
INRIA Saclay and LIX/Institut Polytechnique de ParisFrance
Minamide, Yasuhiko
Tokyo Institute of TechnologyJapan
P
Palmskog, Karl
KTH Royal Institute of TechnologySweden
Protzenko, Jonathan
Microsoft Azure ResearchUnited States
Stark, Kathrin
Heriot-Watt UniversityUnited Kingdom
Tassarotti, Joseph
New York UniversityUnited States
W
Watt, Conrad
Nanyang Technological UniversitySingapore
Weirich, Stephanie
University of PennsylvaniaUnited States
Z
Zdancewic, Steve
University of PennsylvaniaUnited States