Write a Blog >>
CPP 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
Filter
Role Type
Committee member
Contributor/Author
Session chair
Contributing to
CPP
Number of Roles
1..3
Country
-unspecified-
Australia
Belgium
Brazil
Chile
China
Czechia
Denmark
Estonia
France
Germany
India
Israel
Italy
Japan
Korea, South
Netherlands
Poland
Singapore
Sweden
Switzerland
United States
Search

Results (101)

Annenkov, Danil
Concordium Blockchain Research Center, Aarhus UniversityDenmark
Buldas, Ahto
Tallinn University of Technology
Buzzard, Kevin
Imperial College London
C
Chen, Xiaohong
University of Illinois at Urbana-ChampaignUnited States
Cohen, Liron
Ben-Gurion University of the NegevIsrael
Commelin, Johan
Universität Freiburg
D
Devriese, Dominique
Vrije Universiteit BrusselBelgium
Goel, Shilpi
Centaur Technology, Inc.
Grossman, Dan
University of WashingtonUnited States
I
Immler, Fabian
Carnegie Mellon University
Lerner, Sorin
University of California, San Diego
Lewis, Robert Y.
Vrije Universiteit AmsterdamNetherlands
Massot, Patrick
Université Paris Sud
Mohan, Anshuman
National University of SingaporeSingapore
Mörtberg, Anders
Department of Mathematics, Stockholm UniversitySweden
N
Natarajan, Raja
Tata Institute of Fundamental Research Mumbai
Nielsen, Jakob Botsch
Concordium Blockchain Research Center, Aarhus University
Nigam, Vivek
Federal University of Paraiba / fortissGermany
O
Olmedo, Federico
University of Chile & IMFD Chile
Overbeek, Roy
Vrije Universiteit AmsterdamNetherlands
Pujet, Loïc
Gallinette Project-Team, Inria
Ringer, Talia
University of WashingtonUnited States
Rizkallah, Christine
The University of MelbourneAustralia
Roşu, Grigore
University of Illinois at Urbana-ChampaignUnited States
Régis-Gianas, Yann
IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2France
S
Sanchez-Stern, Alex
University of California, San DiegoUnited States
Sergey, Ilya
Yale-NUS College and National University of SingaporeSingapore
Sewell, Thomas
Chalmers University of Technology, SwedenSweden
Singh, Abhishek Kr
Tata Institute of Fundamental Research MumbaiIndia
Slobodova, Anna
Centaur Technology, Inc.
Spitters, Bas
Concordium Blockchain Research Center, Aarhus University
Sumners, Rob
Centaur Technology, Inc.
Swords, Sol
Centaur Technology, Inc.
Tan, Yong Kiam
Carnegie Mellon University, USASingapore
Tanter, Éric
University of ChileChile
Veltri, Niccolò
Tallinn University of Technology
X
Xu, Chuangjie
Ludwig-Maximilians-Universität München
Y
Yamada, Akihisa
National Institute of InformaticsJapan