CPP 2020 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (101)
Nada AminAmin, Nada Harvard UniversityUnited States |
Danil AnnenkovAnnenkov, Danil Concordium Blockchain Research Center, Aarhus UniversityDenmark |
Jesús AransayAransay, Jesús Universidad de la Rioja, Spain |
David AspinallAspinall, David University of Edinburgh |
Mauricio Ayala-RinconAyala-Rincon, Mauricio University of BrasíliaBrazil |
Yves BertotBertot, Yves INRIAFrance |
Jasmin BlanchetteBlanchette, Jasmin Vrije Universiteit AmsterdamNetherlands |
Clément BlaudeauBlaudeau, Clément Ecole PolytechniqueFrance |
Chad BrownBrown, Chad Czech Technical University in Prague |
David ButlerButler, David Alan Turing Institute |
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States |
Liron CohenCohen, Liron Ben-Gurion University of the NegevIsrael |
Christian DoczkalDoczkal, Christian Université Côte d'Azur |
Neil GhaniGhani, Neil University of Strathclyde |
Adam GrabowskiGrabowski, Adam University of BialystokPoland |
Dan GrossmanGrossman, Dan University of WashingtonUnited States |
Paul HeHe, Paul University of PennsylvaniaUnited States |
Aquinas HoborHobor, Aquinas National University of Singapore |
Cătălin HriţcuHriţcu, Cătălin Inria ParisFrance |
Warren HuntHunt, Warren University of Texas |
Chung-Kil HurHur, Chung-Kil Seoul National UniversityKorea, South |
Robbert KrebbersKrebbers, Robbert Delft University of TechnologyNetherlands |
Peter LammichLammich, Peter The University of Manchester |
Dominique Larchey-WendlingLarchey-Wendling, Dominique CNRS, LORIAFrance |
Sorin LernerLerner, Sorin University of California, San Diego |
Robert Y. LewisLewis, Robert Y. Vrije Universiteit AmsterdamNetherlands |
Hongjin LiangLiang, Hongjin Nanjing University, ChinaChina |
Anshuman MohanMohan, Anshuman National University of SingaporeSingapore |
Anders MörtbergMörtberg, Anders Department of Mathematics, Stockholm UniversitySweden |
Jakob Botsch NielsenNielsen, Jakob Botsch Concordium Blockchain Research Center, Aarhus University |
Vivek NigamNigam, Vivek Federal University of Paraiba / fortissGermany |
Tobias NipkowNipkow, Tobias Technische Universität München |
Fredrik Nordvall ForsbergNordvall Forsberg, Fredrik University of Strathclyde |
Roy OverbeekOverbeek, Roy Vrije Universiteit AmsterdamNetherlands |
Damien PousPous, Damien CNRS, ENS Lyon |
Adrian Rebola PardoRebola Pardo, Adrian TU Wien |
Talia RingerRinger, Talia University of WashingtonUnited States |
Christine RizkallahRizkallah, Christine The University of MelbourneAustralia |
Arjen RouvoetRouvoet, Arjen Delft University of TechnologyNetherlands |
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States |
Yann Régis-GianasRégis-Gianas, Yann IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2France |
Ilya SergeySergey, Ilya Yale-NUS College and National University of SingaporeSingapore |
Natarajan ShankarShankar, Natarajan SRI International, USAUnited States |
Zhong ShaoShao, Zhong Yale UniversityUnited States |
Abhishek Kr SinghSingh, Abhishek Kr Tata Institute of Fundamental Research MumbaiIndia |
Simon SpiesSpies, Simon Saarland UniversityGermany |
Bas SpittersSpitters, Bas Concordium Blockchain Research Center, Aarhus University |
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States |
Yong Kiam TanTan, Yong Kiam Carnegie Mellon University, USASingapore |
Linh TranTran, Linh National University of Singapore |
Dmitriy TraytelTraytel, Dmitriy ETH ZurichSwitzerland |
Niccolò VeltriVeltri, Niccolò Tallinn University of Technology |
Andrea VezzosiVezzosi, Andrea IT University Copenhagen |
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands |
Maximilian WuttkeWuttke, Maximilian Saarland University |
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States |
Roberto ZuninoZunino, Roberto University of TrentoItaly |