| layout | permalink | title |
|---|---|---|
page |
/participants/ |
Participants |
| Name | Affiliation |
|---|---|
| Anthony Agwu | Johns Hopkins University |
| Antoine Allioux | Institut de Recherche en Info Théor |
| Mathieu Anel | CMU |
| Carlo Angiuli | Carnegie Mellon University |
| Steve Awodey | CMU |
| Raymond Baker | University of Colorado Boulder |
| Fredrik Bakke | Norwegian Univ of Sci and Tech |
| Cesar Bardomiano Martinez | University of Ottawa |
| Alvaro Belmonte | Johns Hopkins University |
| Julie Bergner | University of Virginia |
| David Berry | University of Cambridge |
| Jonathan Campbell | Center for Communications Research, La Jolla |
| Tim Campion | Johns Hopkins University |
| Evan Cavallo | Stockholm University |
| El Mehdi Cherradi | IRIF |
| Felix Cherubini | University of Gothenburg |
| Kian Cho | CMU |
| Dan Christensen | University of Western Ontario |
| Cipriano Cioffo | Università degli studi di Padova |
| Thierry Coquand | University of Gothenburg |
| Frank Dai | |
| Stefania Damato | University of Nottingham |
| Tom de Jong | University of Nottingham |
| Christopher Dean | Dalhousie University |
| Kaveh Eskandari Miandoab | Worcester Polytechnic Institute |
| Jarl Flaten | University of Western Ontario |
| Jonas Frey | Carnegie Mellon University |
| Julian Gould | University of Pennsylvania |
| Daniel Gratzer | Aarhus University |
| Harrison Grodin | Carnegie Mellon University |
| Chris Grossack | UC Riverside |
| Robert Harper | Carnegie Mellon University |
| Perry Hart | University of Minnesota |
| Ivo Herzog | The Ohio State University at Lima |
| Adam Hill | CMU |
| Kuen-Bang Hou (Favonia) | University of Minnesota |
| Joseph Hua | CMU |
| Calum Hughes | University of Manchester |
| Matthias Hutzler | Gothenburg University |
| Tom Jack | |
| Stefanos Jones | University of Chicago |
| Andre Joyal | Université du Québec à Montréal |
| Bálint Kocsis | Radboud Universiteit |
| Astra Kolomatskaia | Stony Brook University |
| Pavel Kovalev | Indiana U Bloomington |
| András Kovács | Eötvös Loránd University |
| Greg Langmead | Carnegie Mellon University |
| Fernando Larrain | Carnegie Mellon University |
| Samuel Lavenir | EPFL |
| Chaitanya Leena Subramaniam | University of San Diego |
| Daniel Licata | Weslyan University |
| Yu Leon Liu | Harvard University |
| Axel Ljungström | Stockholm University |
| Ben Logsdon | Dartmouth College |
| Thomas Long | Cal State U, San Marcos |
| Louis Martini | Norwegian University of Sci Tech |
| Oualid Merzouga | University of pennsylvania |
| Owen Milner | Carnegie Mellon University |
| Reed Mullanix | University of Minn. |
| David Jaz Myers | Center for Top and Quant, NYUAD |
| Anders Mörtberg | Stockholm University |
| Jacob Neumann | University of Nottingham |
| Yue Niu | CMU |
| Stiéphen Pradal | University of Nottingham |
| Emily Riehl | Johns Hopkins University |
| Egbert Rijke | University of Ljubljana |
| Mitchell Riley | NYU Abu Dhabi |
| Robert Rose | Weslyan University |
| Gabriel Saadia | Stockholm University |
| Benjamin Salman | University of Chicago |
| Michael Shulman | University of San Diego |
| Daniel Souza | University of Ottawa |
| Matteo Spadetto | University of Leeds |
| Sam Speight | University of Oxford |
| Andrew Swan | CMU |
| Frank Tsai | SUNY at Buffalo |
| Elif Uskuplu | University of Southern California |
| Florrie Verity | Australian National University |
| Zhuyang Wang | UMN |
| Matt Weaver | Princeton University |
| Jonathan Weinberger | Johns Hopkins University |
| Errol Yuksel | Stockholm University |
| David Zdancewicz |