CPP 2024 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (104)
Benedikt AhrensAhrens, Benedikt Delft University of TechnologyNetherlands |
Zhendong AngAng, Zhendong National University of Singapore |
Robert AtkeyAtkey, Robert University of Strathclyde |
Jeremy AvigadAvigad, Jeremy Carnegie Mellon University, USA |
B Mireia González BedmarBedmar, Mireia González University of Barcelona and Formal Vindications S.L. |
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States |
Sandrine BlazyBlazy, Sandrine University of RennesFrance |
Joaquim Casals BuñuelBuñuel, Joaquim Casals University of Barcelona and Formal Vindications S.L. |
Arthur CharguéraudCharguéraud, Arthur InriaFrance |
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States |
Jesper CockxCockx, Jesper Delft University of TechnologyNetherlands |
Évelyne ContejeanContejean, Évelyne CNRS, ENS Paris-Saclay & Université Paris-Saclay |
María Inés de Frutos-Fernándezde Frutos-Fernández, María Inés Universidad Autónoma de Madrid |
Chelsea EdmondsEdmonds, Chelsea University of SheffieldUnited Kingdom |
Joseph EremondiEremondi, Joseph University of ReginaCanada |
Georges GonthierGonthier, Georges Inria |
Philipp G. HaselwarterHaselwarter, Philipp G. Aarhus UniversityDenmark |
Kesha HietalaHietala, Kesha Amazon Web ServicesUnited States |
Nao HirokawaHirokawa, Nao Japan Advanced Institute of Science and Technology |
Kuen-Bang Hou (Favonia)Hou (Favonia), Kuen-Bang University of MinnesotaUnited States |
Benjamin Salling HvassHvass, Benjamin Salling Aarhus University |
Ariel E. KellisonKellison, Ariel E. Cornell UniversityUnited States |
Dohan KimKim, Dohan University of Innsbruck |
Dominik KirstKirst, Dominik Ben-Gurion University of the Negev |
Gerwin KleinKlein, Gerwin Proofcraft and UNSW SydneyAustralia |
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia SinicaTaiwan |
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands |
Nikolai KudasovKudasov, Nikolai Innopolis UniversityRussia |
Meven Lennon-BertrandLennon-Bertrand, Meven University of CambridgeUnited Kingdom |
William ManskyMansky, William University of Illinois ChicagoUnited States |
Umang MathurMathur, Umang National University of SingaporeSingapore |
Ralph MatthesMatthes, Ralph IRIT, Université de Toulouse, CNRS, Toulouse INP, UT3, Toulouse |
Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance |
Alberto MomiglianoMomigliano, Alberto Università degli Studi di Milano |
David MonniauxMonniaux, David Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance |
Ike MulderMulder, Ike Radboud University NijmegenNetherlands |
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology |
Tobias NipkowNipkow, Tobias Technische Universität München |
Michael NorrishNorrish, Michael Australian National UniversityAustralia |
Paige Randall NorthNorth, Paige Randall Utrecht University |
Filippo Alberto Edoardo Nuccio Mortarino Majno di CapriglioNuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo Université Jean Monnet Saint-ÉtienneFrance |
Lawrence PaulsonPaulson, Lawrence University of CambridgeUnited Kingdom |
Brigitte PientkaPientka, Brigitte McGill UniversityCanada |
Andrei PopescuPopescu, Andrei University of SheffieldUnited Kingdom |
George PîrleaPîrlea, George National University of Singapore |
Tahina RamananandroRamananandro, Tahina Microsoft ResearchUnited States |
Eduardo Hermo ReyesReyes, Eduardo Hermo University of Barcelona and Formal Vindications S.L. |
Juan Conejero RodríguezRodríguez, Juan Conejero University of Barcelona and Formal Vindications S.L. |
Philipp RuemmerRuemmer, Philipp University of Regensburg and Uppsala UniversityGermany |
Zhong ShaoShao, Zhong Yale UniversityUnited States |
Ian ShillitoShillito, Ian Australian National University |
Kiraku ShintaniShintani, Kiraku Japan Advanced Institute of Science and Technology |
Bas SpittersSpitters, Bas Aarhus University |
Bas SpittersSpitters, Bas Aarhus UniversityDenmark |
Yong Kiam TanTan, Yong Kiam Institute for Infocomm Research, A*STAR |
René ThiemannThiemann, René University of Innsbruck |
Amin TimanyTimany, Amin Aarhus UniversityDenmark |
Laura TitoloTitolo, Laura AMA/NASA LaRCUnited States |
Alwen TiuTiu, Alwen The Australian National University |
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark |
Jean-Baptiste TristanTristan, Jean-Baptiste Amazon Web ServicesUnited States |
Margus VeanesVeanes, Margus Microsoft Research |
Jonathan WeinbergerWeinberger, Jonathan Johns Hopkins University |
Théo WinterhalterWinterhalter, Théo INRIA SaclayFrance |
Kobe WullaertWullaert, Kobe Delft University of Technology |
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States |
Qiyuan ZhaoZhao, Qiyuan National University of SingaporeSingapore |
Ekaterina ZhuchkoZhuchko, Ekaterina Tallinn University of Technology |