POPL 2027
Sun 10 - Sat 16 January 2027 Mexico City, Mexico
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (174)

A
Abdulla, Parosh Aziz
Uppsala University; Mälardalen UniversitySweden
Affeldt, Reynald
National Institute of Advanced Industrial Science and Technology (AIST), Japan
Albarghouthi, Aws
University of Wisconsin-MadisonUnited States
Allamigeon, Xavier
Inria and Ecole Polytechnique
Amin, Nada
Harvard UniversityUnited States
Ayala-Rincon, Mauricio
Federal University of Goiás / University of BrasíliaBrazil
Barnaby, Celeste
University of Texas at AustinUnited States
Barthe, Gilles
MPI-SP; IMDEA Software InstituteGermany
Bauer, Andrej
University of LjubljanaSlovenia
Bowman, William J.
University of British ColumbiaCanada
C
Cailler, Julie
University of Lorraine, CNRS, Inria, LORIA, Nancy
Cao, Qinxiang
Shanghai Jiao Tong UniversityChina
Castagna, Giuseppe
CNRS; Université Paris CitéFrance
Chlipala, Adam
Massachusetts Institute of TechnologyUnited States
Cohen, Liron
Ben-Gurion University of the NegevIsrael
D
D'Antoni, Loris
University of California at San DiegoUnited States
Dal Lago, Ugo
University of Bologna & INRIA Sophia AntipolisItaly
Derakhshan, Farzaneh
Illinois Institute of TechnologyUnited States
Di Giusto, Cinzia
Université Côte d'Azur; CNRSFrance
Dimitrova, Rayna
CISPA Helmholtz Center for Information SecurityGermany
E
Edmonds, Chelsea
The University of Western AustraliaAustralia
Feng, Yu
University of California at Santa BarbaraUnited States
Firsov, Denis
Tallinn University of TechnologyEstonia
G
Gancher, Joshua
Northeastern UniversityUnited States
Gay, Simon J.
University of Glasgow, UKUnited Kingdom
Ghilezan, Silvia
University of Novi Sad, Mathematical Institute SASASerbia
Giacobazzi, Roberto
University of ArizonaUnited States
Gregersen, Simon Oddershede
CISPA Helmholtz Center for Information SecurityGermany
Gu, Ronghui
Columbia University; CertiKUnited States
H
Hack, Sebastian
Saarland University, Saarland Informatics CampusGermany
Heunen, Chris
University of EdinburghUnited Kingdom
Hur, Chung-Kil
Seoul National UniversitySouth Korea
K
Kallas, Konstantinos
University of California, Los AngelesUnited States
Keller, Chantal
LMF - University Paris-SaclayFrance
Klein, Gerwin
Proofcraft and UNSW SydneyAustralia
Lesani, Mohsen
University of California at Santa Cruz
Li, Yao
Portland State UniversityUnited States
Limperg, Jannis
Axiom Math & LMU MunichGermany
Lindley, Sam
University of EdinburghUnited Kingdom
Maillard, Kenji
Inria – LS2N, Université de NantesFrance
Miller, Dale
INRIA Saclay and LIX/Institut Polytechnique de ParisFrance
Millstein, Todd
University of California at Los AngelesUnited States
Mörtberg, Anders
Department of Mathematics, Stockholm UniversitySweden
Møgelberg, Rasmus Ejlers
IT University of CopenhagenDenmark
O
O'Connor, Liam
Australian National UniversityAustralia
P
Paulson, Lawrence
University of CambridgeUnited Kingdom
Polgreen, Elizabeth
University of EdinburghUnited Kingdom
Popescu, Andrei
University of SheffieldUnited Kingdom
R
Raad, Azalea
Imperial College London; Soteria ToolsUnited Kingdom
Rizkallah, Christine
University of MelbourneAustralia
S
Salvaneschi, Guido
University of St. GallenSwitzerland
Sekiyama, Taro
National Institute of InformaticsJapan
Singh, Gagandeep
University of Illinois Urbana-ChampaignUnited States
Solar-Lezama, Armando
Massachusetts Institute of TechnologyUnited States
Stanford, Caleb
University of California, DavisUnited States
Surbatovich, Milijana
University of Maryland at College ParkUnited States
Tassarotti, Joseph
New York UniversityUnited States
Tourret, Sophie
Inria and Max Planck Institute for InformaticsFrance
Urban, Caterina
Inria - École Normale SupérieureFrance
Watt, Conrad
Nanyang Technological UniversitySingapore
Yuan, Charles
University of Wisconsin-MadisonUnited States
Zetzsche, Stefan
Amazon Web ServicesUnited Kingdom
Zhang, Cheng
Worcester Polytechnic InstituteUnited States
Zhou, Li
Institute of Software, Chinese Academy of SciencesChina