CPP 2026 Contributors

Sun 11 - Sat 17 January 2026 Rennes, France

co-located with POPL 2026

Filter

Role Type

Contributing to

Number of Roles

Country

Results (40)

A Danel AhmanAhman, Danel University of LjubljanaSlovenia Committee Member in Program Committee within the CPP-track
B Sandrine BlazyBlazy, Sandrine University of RennesFrance Committee Member in Steering Committee within the CPP-track
C Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Committee Member in Steering Committee within the CPP-track
Cyril CohenCohen, Cyril Inria Committee Member in Program Committee within the CPP-track
D Sander R. DahmenDahmen, Sander R. Vrije Universiteit Amsterdam Committee Member in Program Committee within the CPP-track
Thibault DardinierDardinier, Thibault ETH ZurichSwitzerland Committee Member in Program Committee within the CPP-track
Catherine DuboisDubois, Catherine ENSIIE Paris-Evry Committee Member in Program Committee within the CPP-track
E Gabriel EbnerEbner, Gabriel Microsoft ResearchUnited States Committee Member in Program Committee within the CPP-track
F Asta Halkjær FromFrom, Asta Halkjær University of CopenhagenDenmark Committee Member in Program Committee within the CPP-track
Aymeric FromherzFromherz, Aymeric InriaFrance Committee Member in Program Committee within the CPP-track
G Shilpi GoelGoel, Shilpi Centaur Technology, Inc. Committee Member in Program Committee within the CPP-track
Georges GonthierGonthier, Georges Inria Committee Member in Steering Committee within the CPP-track
Samuel GruetterGruetter, Samuel ETH Zurich Committee Member in Program Committee within the CPP-track
H Florent HivertHivert, Florent Univ. Paris-Saclay, LISN, LMF, CNRS, INRIA Committee Member in Program Committee within the CPP-track
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany Committee Member in Steering Committee within the CPP-track
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea Committee Member in Program Committee within the CPP-track
K Marie KerjeanKerjean, Marie CNRS, Université Sorbonne Paris NordFrance Committee Member in Program Committee within the CPP-track
Gerwin KleinKlein, Gerwin Proofcraft and UNSW SydneyAustralia Committee Member in Steering Committee within the CPP-track
Angeliki Koutsoukou-ArgyrakiKoutsoukou-Argyraki, Angeliki Royal Holloway, University of LondonUnited Kingdom Committee Member in Program Committee within the CPP-track
L Peter Lefanu LumsdaineLefanu Lumsdaine, Peter Stockholm UniversitySweden Committee Member in Program Committee within the CPP-track
M Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance Committee Member in Steering Committee within the CPP-track
N Tobias NipkowNipkow, Tobias Technische Universität München Committee Member in Steering Committee within the CPP-track
Filippo Alberto Edoardo Nuccio Mortarino Majno di CapriglioNuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo Université Jean Monnet Saint-ÉtienneFrance Committee Member in Program Committee within the CPP-track
P Zoe ParaskevopoulouParaskevopoulou, Zoe Ethereum FoundationGreece Committee Member in Program Committee within the CPP-track
Jean Pichon-PharabodPichon-Pharabod, Jean Aarhus UniversityDenmark Committee Member in Program Committee within the CPP-track
Brigitte PientkaPientka, Brigitte McGill UniversityCanada Committee Member in Steering Committee within the CPP-track
R Talia RingerRinger, Talia University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the CPP-track
S Michael SammlerSammler, Michael Institute of Science and Technology AustriaAustria Committee Member in Program Committee within the CPP-track
Zhong ShaoShao, Zhong Yale UniversityUnited States Committee Member in Steering Committee within the CPP-track
Anna SlobodovaIntelSlobodovaIntel, Anna Centaur Technology Committee Member in Program Committee within the CPP-track
Kathrin StarkStark, Kathrin Heriot-Watt UniversityUnited Kingdom Conference Chair in Organizing Committee within the CPP-track Committee Member in Steering Committee within the CPP-track
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States PC Chair in Organizing Committee within the CPP-track PC Chair in Program Committee within the CPP-track
Hira Taqdees SyedaSyeda, Hira Taqdees Amazon Web ServicesGermany Committee Member in Program Committee within the CPP-track
T Nicolas TabareauTabareau, Nicolas InriaFrance PC Chair in Organizing Committee within the CPP-track Committee Member in Steering Committee within the CPP-track PC Chair in Program Committee within the CPP-track
Amin TimanyTimany, Amin Aarhus UniversityDenmark Committee Member in Steering Committee within the CPP-track
Sophie TourretTourret, Sophie Max Planck Institute for Informatics Committee Member in Program Committee within the CPP-track
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark Committee Member in Steering Committee within the CPP-track
V Niels van der Weidevan der Weide, Niels Radboud University Committee Member in Program Committee within the CPP-track
Y Akihisa YamadaYamada, Akihisa AISTJapan Committee Member in Program Committee within the CPP-track
Z Yannick ZakowskiZakowski, Yannick InriaFrance Conference Chair in Organizing Committee within the CPP-track