CPP 2024
Mon 15 - Tue 16 January 2024 London, United Kingdom
co-located with POPL 2024
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (104)

A
Adjedj, Arthur
ENS Paris Saclay, Université Paris-Saclay
Avigad, Jeremy
Carnegie Mellon University, USA
B
Bedmar, Mireia González
University of Barcelona and Formal Vindications S.L.
Buñuel, Joaquim Casals
University of Barcelona and Formal Vindications S.L.
Chlipala, Adam
Massachusetts Institute of TechnologyUnited States
Cockx, Jesper
Delft University of TechnologyNetherlands
Contejean, Évelyne
CNRS, ENS Paris-Saclay & Université Paris-Saclay
D
de Almeida Borges, Ana
University of Barcelona and Formal Vindications S.L.
F
Ferreira, Francisco
Royal Holloway, University of London
Hietala, Kesha
Amazon Web ServicesUnited States
Hirokawa, Nao
Japan Advanced Institute of Science and Technology
J
Joosten, Joost J.
University of Barcelona
K
Kaliszyk, Cezary
University of Innsbruck
Kellison, Ariel E.
Cornell UniversityUnited States
Klein, Gerwin
Proofcraft and UNSW SydneyAustralia
Ko, Hsiang-Shang ‘Josh’
Institute of Information Science, Academia SinicaTaiwan
Kudasov, Nikolai
Innopolis UniversityRussia
Lennon-Bertrand, Meven
University of CambridgeUnited Kingdom
M
Maillard, Kenji
INRIAFrance
Matthes, Ralph
IRIT, Université de Toulouse, CNRS, Toulouse INP, UT3, Toulouse
Miller, Dale
INRIA Saclay and LIX/Institut Polytechnique de ParisFrance
Momigliano, Alberto
Università degli Studi di Milano
Monniaux, David
Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance
Mulder, Ike
Radboud University NijmegenNetherlands
Myreen, Magnus O.
Chalmers University of Technology
Norrish, Michael
Australian National UniversityAustralia
Nuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo
Université Jean Monnet Saint-ÉtienneFrance
Pujet, Loïc
Stockholm University
Pédrot, Pierre-Marie
INRIAFrance
R
Raad, Azalea
Imperial College LondonUnited Kingdom
Ramananandro, Tahina
Microsoft ResearchUnited States
Rasekh, Nima
Max Planck Institute for MathematicsGermany
Reyes, Eduardo Hermo
University of Barcelona and Formal Vindications S.L.
Rodríguez, Juan Conejero
University of Barcelona and Formal Vindications S.L.
Ruemmer, Philipp
University of Regensburg and Uppsala UniversityGermany
Shintani, Kiraku
Japan Advanced Institute of Science and Technology
T
Tadipatri, Anand Rao
Indian Institute of Science Education and Research
Tan, Yong Kiam
Institute for Infocomm Research, A*STAR
Tiu, Alwen
The Australian National University
Tristan, Jean-Baptiste
Amazon Web ServicesUnited States
Weinberger, Jonathan
Johns Hopkins University