Write a Blog >>
CPP 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
Filter
Role Type
Contributing to
Number of Roles
Country
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