CPP 2027 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (59)

A Reynald AffeldtAffeldt, Reynald National Institute of Advanced Industrial Science and Technology (AIST), Japan PC Member in Program Committee within the CPP-track
Xavier AllamigeonAllamigeon, Xavier Inria and Ecole Polytechnique PC Member in Program Committee within the CPP-track
Nada AminAmin, Nada Harvard UniversityUnited States PC Member in Program Committee within the CPP-track
Mauricio Ayala-RinconAyala-Rincon, Mauricio Federal University of Goiás / University of BrasíliaBrazil PC Member in Program Committee within the CPP-track
B Anne BaanenBaanen, Anne Mathlib Initiative PC Member in Program Committee within the CPP-track
Andrej BauerBauer, Andrej University of LjubljanaSlovenia PC Member in Program Committee within the CPP-track
Sandrine BlazyBlazy, Sandrine University of RennesFrance Author in Steering Committee within the CPP-track
Martin BodinBodin, Martin InriaFrance PC Member in Program Committee within the CPP-track
C Julie CaillerCailler, Julie University of Lorraine, CNRS, Inria, LORIA, Nancy PC Member in Program Committee within the CPP-track
Qinxiang CaoCao, Qinxiang Shanghai Jiao Tong UniversityChina PC Member in Program Committee within the CPP-track
Kaustuv ChaudhuriChaudhuri, Kaustuv Inria, FranceFrance PC Member in Program Committee within the CPP-track
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Author in Steering Committee within the CPP-track
Cyril CohenCohen, Cyril Inria, CNRS, ENS Lyon, UCBL, LIPFrance PC Chair in Program Committee within the CPP-track PC Chair in Organizing Committee within the CPP-track
D Derek DreyerDreyer, Derek MPI-SWSGermany PC Member in Program Committee within the CPP-track
E Chelsea EdmondsEdmonds, Chelsea The University of Western AustraliaAustralia PC Member in Program Committee within the CPP-track
F María Inés de Frutos FernándezFernández, María Inés de Frutos University of Bonn PC Member in Program Committee within the CPP-track
Denis FirsovFirsov, Denis Tallinn University of TechnologyEstonia PC Member in Program Committee within the CPP-track
Yannick ForsterForster, Yannick InriaFrance PC Member in Program Committee within the CPP-track
G Georges GonthierGonthier, Georges Inria Author in Steering Committee within the CPP-track
Sebastien GouezelGouezel, Sebastien CNRS and Rennes University PC Member in Program Committee within the CPP-track
Stephane Graham-LengrandGraham-Lengrand, Stephane SRI PC Member in Program Committee within the CPP-track
Simon Oddershede GregersenGregersen, Simon Oddershede CISPA Helmholtz Center for Information SecurityGermany PC Member in Program Committee within the CPP-track
H Yann HerklotzHerklotz, Yann EPFLSwitzerland PC Member in Program Committee within the CPP-track
Jonas Kastberg HinrichsenHinrichsen, Jonas Kastberg Aalborg UniversityDenmark PC Member in Program Committee within the CPP-track
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany Author in Steering Committee within the CPP-track
J Patricia JohannJohann, Patricia Appalachian State University PC Member in Program Committee within the CPP-track
K Chantal KellerKeller, Chantal LMF - University Paris-SaclayFrance PC Member in Program Committee within the CPP-track
Ariel E. KellisonKellison, Ariel E. Code MetalUnited States PC Member in Program Committee within the CPP-track
Yonghyun KimKim, Yonghyun MPI-SPGermany PC Member in Program Committee within the CPP-track
Dominik KirstKirst, Dominik Inria Saclay PC Member in Program Committee within the CPP-track
Gerwin KleinKlein, Gerwin Proofcraft and UNSW SydneyAustralia Author in Steering Committee within the CPP-track
L Yao LiLi, Yao Portland State UniversityUnited States PC Member in Program Committee within the CPP-track
Jannis LimpergLimperg, Jannis Axiom Math & LMU MunichGermany PC Member in Program Committee within the CPP-track
M Assia MahboubiMahboubi, Assia INRIAFrance PC Member in Program Committee within the CPP-track
Kenji MaillardMaillard, Kenji Inria – LS2N, Université de NantesFrance PC Member in Program Committee within the CPP-track
Aart MiddeldorpMiddeldorp, Aart University of Innsbruck PC Member in Program Committee within the CPP-track
Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance Author in Steering Committee within the CPP-track
Sophie MorelMorel, Sophie CNRS/UMPA PC Member in Program Committee within the CPP-track
Anders MörtbergMörtberg, Anders Department of Mathematics, Stockholm UniversitySweden PC Member in Program Committee within the CPP-track
N Julien NarbouxNarboux, Julien Univ. Paris Cité PC Member in Program Committee within the CPP-track
Tobias NipkowNipkow, Tobias Technische Universität München Author in Steering Committee within the CPP-track PC Member in Program Committee within the CPP-track
P Lawrence PaulsonPaulson, Lawrence University of CambridgeUnited Kingdom PC Member in Program Committee within the CPP-track
Brigitte PientkaPientka, Brigitte McGill UniversityCanada Author in Steering Committee within the CPP-track
R Christine RizkallahRizkallah, Christine University of MelbourneAustralia PC Member in Program Committee within the CPP-track
S Zhong ShaoShao, Zhong Yale UniversityUnited States Author in Steering Committee within the CPP-track
Ian ShillitoShillito, Ian University of Melbourne PC Member in Program Committee within the CPP-track
Abhishek Kr SinghSingh, Abhishek Kr IIIT HyderabadIndia PC Member in Program Committee within the CPP-track
Matthieu SozeauSozeau, Matthieu InriaFrance PC Member in Program Committee within the CPP-track
Kathrin StarkStark, Kathrin Heriot-Watt UniversityUnited Kingdom Author in Steering Committee within the CPP-track PC Member in Program Committee within the CPP-track
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States PC Chair in Program Committee within the CPP-track PC Chair in Organizing Committee within the CPP-track
T Nicolas TabareauTabareau, Nicolas InriaFrance Author in Steering Committee within the CPP-track
René ThiemannThiemann, René University of Innsbruck PC Member in Program Committee within the CPP-track
Holger ThiesThies, Holger Kyoto University PC Member in Program Committee within the CPP-track
Sophie TourretTourret, Sophie Inria and Max Planck Institute for InformaticsFrance Conference Chair in Organizing Committee within the CPP-track
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark Author in Steering Committee within the CPP-track PC Member in Program Committee within the CPP-track
V Viktor VafeiadisVafeiadis, Viktor MPI-SWSGermany PC Member in Program Committee within the CPP-track
W Lauren WhiteWhite, Lauren NASAUnited States PC Member in Program Committee within the CPP-track
Z Yannick ZakowskiZakowski, Yannick InriaFrance Author in Steering Committee within the CPP-track Conference Chair in Organizing Committee within the CPP-track
Stefan ZetzscheZetzsche, Stefan Amazon Web ServicesUnited Kingdom PC Member in Program Committee within the CPP-track