CPP 2022 Contributors
Filter
Role Type
Committee member
Contributor/Author
Session chair
Contributing to
CPP
Number of Roles
1..3
4..6
7..9
Country
-unspecified-
Australia
Austria
Brazil
Canada
China
Denmark
Estonia
France
Germany
India
Italy
Netherlands
Norway
Slovenia
South Korea
Sweden
United Kingdom
United States
Search
Results (115)
Benedikt AhrensAhrens, Benedikt TU Delft, The NetherlandsNetherlands |
June AndronickAndronick, June Proofcraft, UNSW and seL4 FoundationAustralia |
Jeremy AvigadAvigad, Jeremy Carnegie Mellon University, USA |
Mauricio Ayala-RinconAyala-Rincon, Mauricio University of BrasíliaBrazil |
Thomas BauereissBauereiss, Thomas University of Cambridge |
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States |
Jasmin BlanchetteBlanchette, Jasmin Vrije Universiteit AmsterdamNetherlands |
Sylvie BoldoBoldo, Sylvie Inria and Université Paris-SaclayFrance |
Sylvain BoulméBoulmé, Sylvain Grenoble Alps University / CNRS / Grenoble INP / VERIMAG |
Quentin CarbonneauxCarbonneaux, Quentin MetaFrance |
Hing Lun ChanChan, Hing Lun Australian National University |
Arthur CharguéraudCharguéraud, Arthur InriaFrance |
Louis CheungCheung, Louis University of Melbourne |
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States |
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States |
Aaron DutleDutle, Aaron NASA Langley Research CenterUnited States |
Denis FirsovFirsov, Denis Tallinn University of TechnologyEstonia |
Kathleen FisherFisher, Kathleen Tufts UniversityUnited States |
Simon FosterFoster, Simon University of YorkUnited Kingdom |
Michael FärberFärber, Michael Universität Innsbruck, AustriaAustria |
Dimitra GiannakopoulouGiannakopoulou, Dimitra NASA Ames Research Center |
Lior GoldbergGoldberg, Lior Starkware Industries Ltd. |
Alwyn GoodloeGoodloe, Alwyn NASA Langley Research Center |
Armaël GuéneauGuéneau, Armaël Aarhus University |
Kuen-Bang Hou (Favonia)Hou (Favonia), Kuen-Bang University of MinnesotaUnited States |
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany |
Ariel E. KellisonKellison, Ariel E. Cornell UniversityUnited States |
Dominik KirstKirst, Dominik Saarland UniversityGermany |
Gerwin KleinKlein, Gerwin Proofcraft and UNSW SydneyAustralia |
Mark KochKoch, Mark Saarland University |
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands |
Sergueï LengletLenglet, Sergueï Université de Lorraine, France |
David LevitLevit, David Starkware Industries Ltd. |
Hongjin LiangLiang, Hongjin Nanjing UniversityChina |
Anthony Widjaja LinLin, Anthony Widjaja TU Kaiserslautern; MPI-SWSGermany |
Gregory MalechaMalecha, Gregory BedRock SystemsUnited States |
Ralph MatthesMatthes, Ralph IRIT, Université de Toulouse, CNRS, Toulouse INP, UT3, ToulouseFrance |
Dale MillerMiller, Dale INRIA Saclay and LIXFrance |
Toby MurrayMurray, Toby University of MelbourneAustralia |
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology |
Anders MörtbergMörtberg, Anders Department of Mathematics, Stockholm UniversitySweden |
Tobias NipkowNipkow, Tobias Technische Universität München |
Peter W. O'HearnO'Hearn, Peter W. Meta; University College LondonUnited Kingdom |
Brigitte PientkaPientka, Brigitte McGill UniversityCanada |
Thomas PressburgerPressburger, Thomas NASA ARC |
Jonathan Prieto-CubidesPrieto-Cubides, Jonathan University of BergenNorway |
Christine RizkallahRizkallah, Christine University of MelbourneAustralia |
Micha SchraderSchrader, Micha Technische Universität KaiserslauternGermany |
William SchultzSchultz, William Northeastern University |
Yoav SeginerSeginer, Yoav cdl-lang.org, Netherlands |
Zhong ShaoShao, Zhong Yale UniversityUnited States |
Cyril SixSix, Cyril Kalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG |
Bas SpittersSpitters, Bas Aarhus UniversityDenmark |
Kathrin StarkStark, Kathrin Princeton University, USAUnited States |
Hira Taqdees SyedaSyeda, Hira Taqdees Amazon Web ServicesGermany |
Alon TitelmanTitelman, Alon Starkware Industries Ltd. |
Sophie TourretTourret, Sophie Max Planck Institute for Informatics |
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark |
Stavros TripakisTripakis, Stavros Northeastern University |
Freek VerbeekVerbeek, Freek Open University of the Netherlands, The Netherlands |
Simon Friis VindumVindum, Simon Friis Aarhus UniversityDenmark |
Freek WiedijkWiedijk, Freek Radboud University NijmegenNetherlands |
Noam ZilbersteinZilberstein, Noam Cornell UniversityUnited States |