POPL 2026
Sun 11 - Sat 17 January 2026 Rennes, France
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (142)

B
Balzer, Stephanie
Carnegie Mellon UniversityUnited States
Bohrer, Rose
National Institute of Advanced Industrial Science and Technology (AIST), JapanJapan
C
Campion, Marco
INRIA & ENS Paris | Université PSLFrance
Chalupa, Marek
Institute of Science and Technology Austria
Chlipala, Adam
Massachusetts Institute of TechnologyUnited States
F
Fijalkow, Nathanaël
CNRS, LaBRI, University of BordeauxFrance
Goncharov, Sergey
School of Computer Science, University of BirminghamUnited Kingdom
Greenberg, Michael
Stevens Institute of TechnologyUnited States
H
Hague, Matthew
Royal Holloway University of LondonUnited Kingdom
Hinrichsen, Jonas Kastberg
IT University of CopenhagenDenmark
Hirsch, Andrew K.
University at Buffalo, SUNYUnited States
Hivert, Florent
Univ. Paris-Saclay, LISN, LMF, CNRS, INRIA
Hur, Chung-Kil
Seoul National UniversitySouth Korea
Hutton, Graham
University of NottinghamUnited Kingdom
Kerjean, Marie
CNRS, Université Sorbonne Paris NordFrance
Kesner, Delia
Université Paris Cité - CNRS - IRIFFrance
Klein, Gerwin
Proofcraft and UNSW SydneyAustralia
Komendantskaya, Ekaterina
Heriot-Watt University and Southampton UniversityUnited Kingdom
Koutsoukou-Argyraki, Angeliki
University of Cambridge, Department of Computer Science and TechnologyUnited Kingdom
Kovacs, Laura
Vienna University of Technology (TU Wien)Austria
Krebbers, Robbert
Radboud University NijmegenNetherlands
Lam, Christopher
University of Illinois at Urbana-ChampaignUnited States
Li, Yong
Institute of Software, Chinese Academy of SciencesChina
M
Maillard, Kenji
Inria – LS2N, Université de NantesFrance
Mansinghka, Vikash K.
Massachusetts Institute of TechnologyUnited States
Martens, Chris
Northeastern UniversityUnited States
Miller, Dale
INRIA Saclay and LIX/Institut Polytechnique de ParisFrance
Murali, Adithya
University of Illinois at Urbana-ChampaignUnited States
Nuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo
Université Jean Monnet Saint-ÉtienneFrance
Parreaux, Lionel
HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China
Păsăreanu, Corina S.
Carnegie Mellon UniversityUnited States
R
Rand, Robert
University of ChicagoUnited States
Ringer, Talia
University of Illinois at Urbana-ChampaignUnited States
Sato, Ryosuke
Tokyo University of Agriculture and TechnologyJapan
Scherer, Gabriel
Université Paris Cité - Inria - CNRSFrance
Sieczkowski, Filip
Heriot-Watt UniversityUnited Kingdom
Stefanesco, Leo
University of CambridgeUnited Kingdom
Tao, Runzhou
University of Maryland, College ParkUnited States
Tourret, Sophie
Max Planck Institute for Informatics
Van Horn, David
University of MarylandUnited States
Viswanathan, Mahesh
University of Illinois at Urbana-ChampaignUnited States
W
Wang, Chao
University of Southern CaliforniaUnited States
Watt, Conrad
Nanyang Technological UniversitySingapore
Weirich, Stephanie
University of PennsylvaniaUnited States
Wickerson, John
Imperial College LondonUnited Kingdom
Wu, Nicolas
Imperial College LondonUnited Kingdom
Y
Yallop, Jeremy
University of CambridgeUnited Kingdom
Ye, Qianchuan
University at Buffalo, SUNYUnited States
Zaliva, Vadim
University of Cambridge, UKUnited States
Zhang, Qirun
Georgia Institute of TechnologyUnited States