All People

All People

Aarne Ranta aarneranta

Aarohi Srivastava aarohisrivastava

Aaron Bradley aaronbradley

Aaron D. Ames aarondamesCalifornia Institute of Technology

PhD advisorS. Shankar Sastry

PhDUniversity of California, Berkeley

Master’sUniversity of California, Berkeley

UndergraduateUniversity of St. Thomas

ames.caltech.edu

Aaron David Fairbanks aarondavidfairbanksDalhousie University

0009-0009-8235-928X

Aaron Hill aaronhill

Aaron Sandoval aaronsandoval

0009-0002-8380-6140

Aaron Tomb aarontombAmazon

Aaron Turon aaronturon

Abdelrahman Madkour abdelrahmanmadkourNortheastern University

0009-0000-4444-7486

Abdullah Malik abdullahmalik

Abel Nieto abelnietoCompiler engineer · NVIDIA

PhD advisorAmin Timany, Lars Birkedal

PhDAarhus University

Master’sUniversity of Waterloo

UndergraduateUniversity of Waterloo

abeln.github.io · 0000-0003-2741-8119 · https://github.com/abeln

Abhinav Rastogi abhinavrastogi

Abhishek Rao abhishekrao

Abhishek Varghese abhishekvarghese

Abraham Robinson abrahamrobinson

PhD studentsYoram (Joram) Hirschfeld

Abu Awal Md Shoeb abuawalmdshoeb

PhD advisorGerard de Melo

PhDRutgers University–New Brunswick

Abubakar Abid abubakarabid

Adam Chen adamchenStevens Institute of Technology

0000-0002-5159-6532

Adam Chlipala adamchlipalaMassachusetts Institute of Technology

PhD advisorGeorge Necula

Postdoc advisorGreg Morrisett

PhD studentsSamuel Gruetter

PhDUniversity of California, Berkeley

Master’sUniversity of California, Berkeley

UndergraduateCarnegie Mellon University

adam.chlipala.net

Adam Fisch adamfisch

Adam Porter adamporterProfessor, Department of Computer Science and UMIACS · University of Maryland

PostdocsMichael Coblenz

PhDUniversity of California, Irvine

Master’sUniversity of California, Irvine

UndergraduateCalifornia State University, Dominguez Hills

cs.umd.edu/~aporter

Adam R. Brown adamrbrown

Adam Santoro adamsantoro

Adam Ścibior adamscibiorUniversity of British Columbia

Adam T. Geller adamtgellerSoftware Engineer · NVIDIA

Master’sUniversity of British Columbia

UndergraduateUniversity of Washington

atgeller.github.io · 0009-0008-8137-7577

Addie Allred addieallred

Aditya Gupta adityagupta

Aditya V. Thakur adityathakur

Adrià Garriga-Alonso adriagarrigaalonsoTechnical Co-founder, Dokimasia · Dokimasia

PhD advisorCarl E. Rasmussen

PhDUniversity of Cambridge

Master’sUniversity of Oxford

UndergraduateUniversitat Pompeu Fabra

agarri.ga · https://github.com/rhaps0dy

Adrian A. Nomi adriananomiUniversity of Michigan

Adrian Berding adrianberding

Adrian Francalanza adrianfrancalanzaProfessor · University of Malta

PhDUniversity of Sussex

staff.um.edu.mt/afra1 · 0000-0003-3829-7391

Adrian Perrig adrianperrigProfessor · ETH Zurich

PhD studentsBryan Parno, Jonathan M. McCune

netsec.ethz.ch/people/aperrig · 0000-0002-5280-5412

Adrian Sampson adriansampsonAssociate Professor · Cornell University

PhD studentsAlexa VanHattum, Rachit Nigam

PhDUniversity of Washington

UndergraduateHarvey Mudd College

cs.cornell.edu/~asampson

Adrians Skapars adriansskaparsPhD Student · University of Manchester

0009-0007-7193-7633

Adrian Weller adrianweller

Adrien Douady adriendouady

PhD advisorHenri Cartan

PhD studentsJacques Carette, John Hamal Hubbard

PhDUniversité Paris Cité

Agnieszka Kluska agnieszkakluska

Aharon Azulay aharonazulay

Ahmed M. Ahmed ahmedmahmedPh.D. student · Colorado School of Mines

0009-0007-4462-8173

Ahmet Yigit Erdem ahmetyigiterdemUndergraduate Student · Middle East Technical University

0009-0002-5662-8262

Aïna Linn Georges ainalinngeorgesPostdoctoral researcher · Max Planck Institute for Software Systems

PhD advisorLars Birkedal

Postdoc advisorDerek Dreyer

PhDAarhus University

Master’sAarhus University

UndergraduateMcGill University

people.mpi-sws.org/~algeorges · 0000-0002-5951-4642 · https://github.com/ageorg29

Aitor Lewkowycz aitorlewkowycz

Akhilesh Mritunjai akhileshmritunjaiAmazon

Akshat Agarwal akshatagarwal

Alain Frisch alainfrisch

Alan Jay Smith alanjaysmith

PhD studentsJacob R. Lorch

Alan Lawrence alanlawrenceLead Software Engineer · Quantinuum

0009-0000-1663-7397

Alasdair Armstrong alasdairarmstrongUniversity of Cambridge

0000-0002-2910-0764

Alberto Naibo albertonaibo

Albrecht Dold albrechtdold

PhD studentsCarl-Friedrich Bödigheimer

Alec Marantz alecmarantz

PhD studentsLiina Pylkkänen

Alec Wolman alecwolmanMicrosoft

0009-0001-3484-7360

Alejandro Aguirre alejandroaguirreTenure-Track Assistant Professor · Aarhus University

Postdoc advisorLars Birkedal

PhDUniversidad Politécnica de Madrid

Master’sUniversité Paris Diderot

UndergraduateUniversidad Complutense de Madrid

pure.au.dk/portal/en/persons/ed9d6578-8666-4e42-988a-b91f6cf38b58 · 0000-0001-6746-2734

Aleksandra Foksinska aleksandrafoksinskaProgram manager · University of Alabama at Birmingham

0000-0002-1035-3294

Aleksandr Karbyshev aleksandrkarbyshev

Aleks Chakarov alekschakarovAmazon

Aleš Bizjak alesbizjak

Alessandra Russo alessandrarussoProfessor in Applied Computational Logic · Imperial College London

wp.doc.ic.ac.uk/arusso · 0000-0002-3318-8711

Alessandro Bruni alessandrobruniAssociate professor · IT University of Copenhagen

alessandrobruni.name · 0000-0003-2946-9462

Alessio Lomuscio alessiolomuscio

Alethea Power aletheapower

Alex Aiken alexaikenProfessor · Stanford University

PhD studentsPeter Hawkins

theory.stanford.edu/~aiken · 0000-0002-3723-9555

Alexander A. Peyerimhoff alexanderapeyerimhoff

PhD studentsHorst Luckhardt

Alexander Bandukwala alexanderbandukwalaPhD · University of Michigan

PhD advisorCyrus Omar

PhDUniversity of Michigan

Alexander Card alexandercard

0009-0009-3638-2534

Alexander Dinges alexanderdingesRPTU Kaiserslautern-Landau

pl.cs.uni-kl.de/homepage/en/staff/AlexanderDinges · 0009-0003-1694-4567

Alexander F. Spies alexanderfspies

afspies.com · 0000-0002-8708-1530

Alexander Grisak alexandergrisakColorado School of Mines

0009-0005-2498-837X

Alexander Grothendieck alexandergrothendieck

Alexander J. Summers alexanderjsummersProfessor · University of British Columbia

0000-0001-5554-9381

Alexander W. Kocurek alexanderwkocurek

Alexander Zygmunt alexanderzygmunt

0000-0002-1857-2029

Alexandra Milliken alexandramilliken

0009-0000-6811-9065

Alexandra Silva alexandrasilvaProfessor of Computer Science · Cornell University

PhD advisorJan Rutten, Marcello M. Bonsangue

PhD studentsJana Wagemaker, Mark Moeller, Noam Zilberstein, Tiago Ferreira, Tobias Kappé, Wojciech Różowski

PostdocsCheng Zhang, Jules Jacobs, Kevin Batz

PhDRadboud University

UndergraduateUniversidade do Minho

alexandrasilva.org · 0000-0001-5014-9784

Alexandra Souly alexandrasouly

Alexandros Singh alexandrossingh

0000-0002-6263-950X

Alexa VanHattum alexavanhattumAssistant Professor of Computer Science · Wellesley College

PhD advisorAdrian Sampson

PhDCornell University

Master’sCornell University

UndergraduateBrown University

cs.wellesley.edu/~avh · 0000-0001-6128-8907 · https://github.com/avanhatt

Alex Lascarides alexlascarides

PhD studentsMirella Lapata

Alex Meiburg alexmeiburgPostdoc · University of Waterloo

PhD advisorBela Bauer

PhDUniversity of California, Santa Barbara

UndergraduateCalifornia Institute of Technology

ohaithe.re · 0000-0002-4506-9146

Alex Potanin alexpotaninAssociate Professor · Australian National University

PhDVictoria University of Wellington

potanin.github.io · 0000-0002-4242-2725

Alex Ray alexray

Alex Sanchez-Stern alexsanchezsternVP of Research · dmodel

PhDUniversity of California San Diego

Master’sUniversity of Washington

alexsanchezstern.com · 0000-0003-0600-7898 · https://github.com/HazardousPeach

Alex Warstadt alexwarstadtAssistant Professor · University of California San Diego

PhD advisorSamuel R. Bowman

Postdoc advisorRyan Cotterell

PhDNew York University

UndergraduateBrown University

alexwarstadt.github.io · https://github.com/alexwarstadt

Alfred V. Aho alfredaho

Alfred Tarski alfredtarski

PhD advisorStanislaw Lesniewski

PhD studentsHaim Gaifman, Solomon Feferman

PhDUniversity of Warsaw

Alice Xiang alicexiang

Alicia Parrish aliciaparrishSenior Research Scientist, Responsibility Research team · Google DeepMind

PhD advisorLiina Pylkkänen

PhDNew York University

Master’sMichigan State University

aliciaparrish.com

Ali Safaya alisafayaPhD candidate · Koç University

PhD advisorDeniz Yuret

alisafaya.github.io · 0000-0003-0945-8897 · https://github.com/alisafaya/

Alistair Forbes alistairforbesEmeritus NPL Fellow, Department for Data Science and AI · National Physical Laboratory

npl.co.uk/our-people/alistair-forbes · 0000-0001-6640-9691

Ali Tazarv alitazarv

Aliva Das alivadas

Alix Trieu alixtrieuAgence nationale de la sécurité des systèmes d’information

alix.trieu.dev · 0000-0002-8239-8125

Allegra Angus allegraangus

Allen Clement allenclement

Allen Nie allennieResearch Scientist · Google DeepMind

PhD advisorChris Piech, Emma Brunskill

PhDStanford University

Master’sStanford University

anie.me/about · https://github.com/allenanie

Ally Limke allylimkeSaint Ambrose University

0000-0002-4801-8723

Alon Itai alonitai

PhD studentsIdo Dagan

Alonzo Church alonzochurch

PhD advisorOswald Veblen

PhD studentsPeter B. Andrews

PhDPrinceton University

Alperen Keles alperenkelesUniversity of Maryland, College Park

0009-0000-5734-3598

Amal Ahmed amalahmedProfessor & Associate Dean for Graduate Programs · Northeastern University

PhD studentsJohn Li, Max S. New, William J. Bowman

PhDPrinceton University

Master’sStanford University

UndergraduateBrown University

khoury.northeastern.edu/home/amal

Amanda Askell amandaaskellphilosopher working on finetuning and AI alignment · Anthropic

PhDNew York University

Master’sUniversity of Oxford

UndergraduateUniversity of Dundee

askell.io · https://github.com/aaskell

Amanda Burcroff amandaburcroffPostdoc · Massachusetts Institute of Technology

0000-0002-0032-4190

Amanda Dsouza amandadsouza

Amandin Chyba Rabeendran amandinchybarabeendran

Aman Goel amangoel

Aman Hussain amanhussain

Amar Shah amarshahPhD student in Computer Science · Carnegie Mellon University

PhD advisorBryan Parno, Marijn Heule

UndergraduateUniversity of California, Berkeley

cs.cmu.edu/~amarshah · 0009-0008-8282-2142

Amber Glaze amberglazeUniversity of Alabama at Birmingham

Ambroise Lafont ambroiselafontInstitut Polytechnique de Paris

0000-0002-9299-641X

Ambrose Slone ambroseslone

Ambrus Kaposi ambruskaposi

PostdocsNiels van der Weide

Ameet Rahane ameetrahane

Amélie Liao amelieliao

amelia.how · plt-amy · @amy@types.pl

Amin Timany amintimanyAssociate Professor · Aarhus University

PhD advisorBart Jacobs, Frank Piessens

PhD studentsAbel Nieto, Anders Alnor Mathiasen, Simon Oddershede Gregersen

cs.au.dk/~timany · 0000-0002-2237-851X · amintimany · @amintimany@types.pl

Amir Kamil amirkamilUniversity of Mosul

0009-0005-8290-6969

Amir Livne Bar-on amirlivnebaron

Amit Gaggar amitgaggarProfessor · University of Alabama at Birmingham

PhDUniversity of Alabama at Birmingham

UndergraduateUniversity of Michigan

0000-0003-1586-5632

Amrita Roy Chowdhury amritaroychowdhury

0000-0001-5316-9422

Amr Sabry amrsabryProfessor of Computer Science · Indiana University Bloomington

PhD advisorMatthias Felleisen

PhDRice University

homes.luddy.indiana.edu/sabry · 0000-0002-1025-7331

Amy Isvik amyisvikAI K-20 Engineering Outreach Program Coordinator · North Carolina State University

0000-0002-5505-0166

Anand Dukkipati ananddukkipatiSoftware Development Engineer II · Amazon

UndergraduateUniversity of Michigan

0009-0000-3141-9144

Anand Rao Tadipatri anandraotadipatri

Anantharaman S. Iyer anantharamansiyer

Anath Shalev anathshalev

0000-0003-2869-7228

Anders Alnor Mathiasen andersalnormathiasenPhD Student, Department of Computer Science · Aarhus University

PhD advisorAmin Timany, Lars Birkedal

au.dk/en/alnor@cs.au.dk · 0009-0005-6587-5590

Anders Andreassen andersandreassen

Anders Miltner andersmiltnerAssistant Professor · Simon Fraser University

PhD advisorDavid Walker

Postdoc advisorIsil Dillig, Swarat Chaudhuri

PhDPrinceton University

Master’sPrinceton University

UndergraduateUniversity of Pennsylvania

cs.sfu.ca/~miltner · 0000-0002-8338-4008 · https://github.com/amiltner

Anders Mörtberg andersmortberg

PostdocsEvan Cavallo

Andrea Lattuada andrealattuadaMax Planck Institute for Software Systems

PhD advisorTimothy Roscoe

andrea.lattuada.me · 0000-0002-9303-452X

Andrea Madotto andreamadottoMember of Technical Staff · Thinking Machines Lab

PhDHong Kong University of Science and Technology

andreamad8.github.io · https://github.com/andreamad8

Andreas Abel andreasabel

Andrea Santilli andreasantilli

Andrea Schalk andreaschalk

Andreas Nuyts andreasnuytsPostdoctoral Fellow of the Research Foundation - Flanders (FWO) · KU Leuven

Postdoc advisorDominique Devriese

anuyts.github.io · 0000-0002-1571-5063 · anuyts · @anuytstt@fosstodon.org

Andreas Stuhlmüller andreasstuhlmullerCofounder and CEO · Elicit

PhD advisorJoshua Tenenbaum, Noah Goodman

PhDMassachusetts Institute of Technology

UndergraduateUniversity of Osnabrück

stuhlmueller.org · https://github.com/stuhlmueller

Andrea Vezzosi andreavezzosi

Andreia Mordido andreiamordidoAssistant Professor · University of Lisbon

PhDUniversity of Lisbon

Master’sUniversity of Lisbon

UndergraduateUniversidade Nova de Lisboa

0000-0002-1547-0692

Andrei Paskevich andreipaskevichAssociate professor / Maître de conférences · Laboratoire Méthodes Formelles

PhD advisorKonstantin Verchinine, Vladimir Donchenko

PhD studentsLéon Gondelman

PhDKiev State University

Andrej Bauer andrejbauerProfessor of computational mathematics · University of Ljubljana

PhD advisorDana Scott

PhD studentsPhilipp G. Haselwarter

PhDCarnegie Mellon University

andrej.com · 0000-0001-5378-0547 · https://github.com/andrejbauer · @andrejbauer@mathstodon.xyz

André Platzer andreplatzerAlexander von Humboldt Professor · Karlsruhe Institute of Technology

PhD advisorErnst-Rüdiger Olderog

PostdocsJean-Baptiste Jeannin

PhDCarl von Ossietzky Universität Oldenburg

Master’sKarlsruhe Institute of Technology

cs.cmu.edu/~aplatzer · 0000-0001-7238-5710

Andre Scedrov andrescedrov

Andrés Goens andresgoensTechnical University of Darmstadt

goens.org · https://github.com/goens/

Andre Videla andrevidelaPhD student · University of Strathclyde

PhD advisorBob Atkey, Conor McBride

andrevidela.com · https://github.com/andrevidela · @andrev@types.pl

Andrew W. Appel andrewappel

PhD studentsAriel E. Kellison

Andrew B. Crouse andrewbcrouseDirector of Research · University of Alabama at Birmingham

0000-0003-3499-6902

Andrew Blinn andrewblinnPhD · University of Michigan

PhD advisorCyrus Omar

PhDUniversity of Michigan

Master’sUniversity of Michigan

andrewblinn.com · 0000-0001-6938-7379 · https://github.com/disconcision · @disconcision@types.pl

Andrew Brooke-Taylor andrewbrooketaylor

PhD advisorSy David Friedman

PhD studentsAndrew Slattery

PhDUniversity of Vienna

Andrew Butt andrewbuttGraduate Research Assistant · Cornell University

UndergraduateUniversity of Pennsylvania

0000-0002-6528-4281

Andrew C. Myers andrewcmyers

PhD studentsSteve Zdancewic

Andrew Dai andrewdai

Andrew Fitzgibbon andrewfitzgibbonResearcher · Microsoft Research

0000-0002-9839-660X

Andrew Gardner andrewgardner

Andrew K. Hirsch andrewhirsch

Andrew I Su andrewisuProfessor · Scripps Research Institute

PhDScripps Research Institute

UndergraduateNorthwestern University

sulab.org · 0000-0002-9859-4104

Andrew Kachites McCallum andrewkachitesmccallum

PhD studentsSameer Singh

Andrew La andrewla

Andrew Lampinen andrewlampinenMember of Technical Staff · Anthropic

PhDStanford University

lampinen.github.io

Andrew M. Pitts andrewmpitts

PhD studentsRanald Clouston

cl.cam.ac.uk/~amp12 · 0000-0001-7775-3471

Andrew P. Burns andrewpburns

UndergraduateCentre College

0000-0001-7828-6780

Andrew Slattery andrewslatteryResearch Associate · University of Cambridge

PhD advisorAndrew Brooke-Taylor, Nicola Gambino

Postdoc advisorJon Sterling

PhDUniversity of Leeds

Master’sUniversity of Cambridge

UndergraduateUniversity of Cambridge

andrewslattery.github.io · 0009-0008-4933-821X

Andrew Smart andrewsmart

Andrew Touchet andrewtouchet

Andrew Wagner andrewwagnerNortheastern University

andrewwagner.io · 0000-0002-9434-0780

Andy Zou andyzouPhD student · Carnegie Mellon University

PhD advisorMatt Fredrikson, Zico Kolter

Master’sUniversity of California, Berkeley

UndergraduateUniversity of California, Berkeley

andyzoujm.github.io · https://github.com/andyzoujm

Angela Jiang angelajiang

Angelica Chen angelicachen

Angelo Taranto angelotaranto

Angus Hammond angushammondUniversity of Cambridge

0000-0001-9156-9240

Anhong Guo anhongguoUniversity of Michigan

PhDCarnegie Mellon University

Master’sGeorgia Institute of Technology

UndergraduateBUPT

Anh Vuong anhvuong

Anil Madhavapeddy anilmadhavapeddyProfessor of Planetary Computing · University of Cambridge

anil.recoil.org · 0000-0001-8954-2428

Anil Seth anilseth

PhD studentsGuillaume Corlouer, Tomek Korbak

Animesh Gupta animeshgupta

Anjali Joshi anjalijoshiSenior Manager, Applied Science · Amazon

0009-0004-9398-7242

Ankur Taly ankurtalyStaff Research Scientist · Google

0009-0004-3459-0288

Ankush Das ankushdasAssistant Professor · Boston University

PhDCarnegie Mellon University

ankushdas.github.io · 0000-0003-2459-1258

Annabel Levy annabellevyUniversity of Maryland, Baltimore County

0009-0002-3695-6891

Anna Gottardi annagottardi

Anne Bruggemann-Klein annebruggemannklein

Anne-Gwenn Bosser annegwennbosser

labsticc.fr/en/directory/bosser-anne-gwenn · 0000-0002-0442-2660

Anne Sjerp Troelstra annesjerptroelstra

PhD advisorArend Heyting

PhD studentsMarc Bezem

PhDUniversity of Amsterdam

Annika Nicholl annikanichollUniversity of Alabama at Birmingham

Anshumali Shrivastava anshumalishrivastavaProfessor, Computer Science and Ken Kennedy Institute · Rice University

PhD studentsBeidi Chen

cs.rice.edu/~as143 · https://github.com/RUSH-LAB

Anshuman Mohan anshumanmohan

cs.cornell.edu/~amohan · 0000-0002-6803-9767

Anthony Karel Seda anthonykarelseda

PhD advisorRonald Brown

PhD studentsEkaterina Komendantskya

PhDBangor University

Antoine Voizard antoinevoizard

Antonin Delpeuch antonindelpeuchOpen source developer

PhD advisorBob Coecke, Jamie Vicary, Sam Staton

PhDUniversity of Oxford

antonin.delpeuch.eu · https://github.com/wetneb · @pintoch@mamot.fr

Antonio Norelli antonionorellipostdoc · MIT Computer Science and Artificial Intelligence Laboratory

PhD advisorEmanuele Rodola

Postdoc advisorDaniela Rus, Michael Bronstein

PhDSapienza University of Rome

Master’sSapienza University of Rome

UndergraduateSapienza University of Rome

Antonio Orvieto antonioorvietoELLIS Institute Tübingen

PhD advisorAurelien Lucchi, Thomas Hofmann

PhD studentsDiganta Misra

Master’sETH Zurich

orvi.altervista.org

Antonis Achilleos antonisachilleosAssistant Professor · Reykjavík University

PostdocsJana Wagemaker

PhDThe Graduate Center, CUNY

Master’sNational and Kapodistrian University of Athens

UndergraduateNational Technical University of Athens

0000-0002-1314-333X

Antony O. W. Stretton antonyowstretton

PhD studentsPat Hanrahan

Antony Sikorski antonysikorski

Anupam Das anupamdas

Anupam Datta anupamdattaSnowflake Inc.

0000-0002-2751-068X

Anu Venkatesh anuvenkatesh

Ao Dong aodongSecond Military Medical University

0000-0001-6274-218X

Apurva Koti apurvakoti

UndergraduateCornell University

Arash Gholamidavoodi arashgholamidavoodi

Archit Kwatra architkwatra

0009-0009-1579-9744

Ardi Madadi ardimadadiPhD Student · Max Planck Institute for Security and Privacy

Master’sUniversity of Washington

madadi.one · 0000-0001-9258-4872

Arend Heyting arendheyting

PhD studentsAnne Sjerp Troelstra, Dirk van Dalen

Arfa Tabassum arfatabassum

Arianna Bisazza ariannabisazzaUniversity of Groningen

PostdocsJaap Jumelet

cs.rug.nl/~bisazza

Ariel E. Kellison arielekellisonStaff Research Scientist · Code Metal

PhD advisorAndrew W. Appel, David Bindel

PhDCornell University

UndergraduateUniversity of California, Santa Cruz

ak-2485.github.io · 0000-0003-3177-7958 · https://github.com/ak-2485/

Arie Nicolaas Habermann arienicolaashabermann

PhD advisorEdsger W. Dijkstra

PhD studentsPhilip Wadler

PhDEindhoven University of Technology

Ari Prakash ariprakashUndergraduate Student · Northeastern University

0009-0009-0783-2217

Arjun Guha arjunguha

Armaël Guéneau armaelgueneauPermanent researcher, Toccata team · Inria

PhD advisorArthur Charguéraud, François Pottier

Postdoc advisorLars Birkedal

cambium.inria.fr/~agueneau · 0000-0003-3072-4045

Armando Solar-Lezama armandosolarlezama

PhD studentsJames Koppel

0000-0001-7604-8252

Arman Zharmagambetov armanzharmagambetov

Armin Bernd Cremers arminberndcremersProfessor Emeritus · University of Bonn

PhD advisorOtto Mayer, Ulrich W. Kulisch

PhD studentsRalf Hinze, Sebastian Thrun

PhDUniversity of Mkar

Master’sUniversity of Mkar

aif.bit.uni-bonn.de · 0000-0002-7693-4649

Arnaud Daby-Seesaram arnauddabyseesaramAarhus University

0000-0002-0226-4638

Arnold Mong arnoldmong

0009-0001-0107-1279

Arnold Schmidt arnoldschmidt

PhD studentsHorst Luckhardt

Arnon Avron arnonavron

PhD advisorHaim Gaifman, Yoram (Joram) Hirschfeld

PhD studentsOri Lahav

PhDTel Aviv University

Arpan Agrawal arpanagrawalUniversity of Illinois at Urbana-Champaign

0009-0001-5193-0959

Arthur Azevedo de Amorim arthurazevedodeamorimAssistant Professor · Rochester Institute of Technology

PhD advisorBenjamin C. Pierce, Cătălin Hriţcu

PhDUniversity of Pennsylvania

UndergraduateÉcole Polytechnique

arthuraa.net · 0000-0001-9916-6614 · https://github.com/arthuraa

Arthur Charguéraud arthurchargueraudInria

PhD advisorFrançois Pottier

Postdoc advisorUmut A. Acar

PhD studentsArmaël Guéneau

PhDUniversité Paris Diderot

chargueraud.org

Arul Menezes arulmenezes

Arun Kirubarajan arunkirubarajan

Asha Khatri ashakhatri

Asher Kornfeld asherkornfeld

Asher Mullokandov ashermullokandov

Ashish Sabharwal ashishsabharwalSenior Research Scientist · Allen Institute for Artificial Intelligence

PhD advisorHenry Kautz, Paul Beame

PostdocsDaniel Khashabi

PhDUniversity of Washington

Master’sUniversity of Washington

UndergraduateIndian Institute of Technology Kanpur

cs.cornell.edu/~sabhar

Ashley Sheng ashleyshengWellesley College

0009-0005-8939-6658

Astra Kolomatskaia astrakolomatskaiaWesleyan University

Asumu Takikawa asumutakikawa

Atena Farkhondeh atenafarkhondehScientific Project Manager and Researcher · National Institutes of Health

0000-0003-4595-1435

Atri Rudra atrirudraUniversity at Buffalo

PhD advisorVenkatesan Guruswami

PhDUniversity of Washington

Master’sUniversity of Washington

UndergraduateIndian Institute of Technology Kharagpur

cse.buffalo.edu/faculty/atri

Audrey Seo audreyseo

audreyseo.github.io · 0000-0003-2928-3721

Aurel Bílý aurelbilyETH Zurich

0000-0002-9284-9161

Aurelien Lucchi aurelienlucchi

PhD studentsAntonio Orvieto

Aurojit Panda aurojitpanda

Aurora Schmidt auroraschmidtJohns Hopkins University Applied Physics Laboratory

PhDCarnegie Mellon University

Master’sMassachusetts Institute of Technology

UndergraduateMassachusetts Institute of Technology

0000-0001-9027-8484

Austin Herrick austinherrick

Austin Z. Henley austinzhenleyPrincipal Applied Scientist · Microsoft

austinhenley.com · https://github.com/AZHenley

Ava N. Smith avansmithUniversity of Alabama at Birmingham

Avary Lanier avarylanier

Avia Efrat aviaefrat

Avijit Ghosh avijitghoshLead Technical AI Policy Researcher · Hugging Face

evijit.io · https://github.com/evijit

Avi Tachna-Fram avitachnafram

Aws Albarghouthi awsalbarghouthiUniversity of Wisconsin–Madison

0000-0003-4577-175X

Aykut Erdem aykuterdemAssociate Professor of Computer Engineering · Koç University

PhDMiddle East Technical University

aykuterdem.github.io

Ayla Karakaş aylakarakas

Bao Sheng Loe baoshengloe

Baris Kasikci bariskasikci

Barret Zoph barretzophCo-founder and CTO · Thinking Machines Lab

barretzoph.github.io

Barry Wang barrywangPh.D. Student, Computer Science · Carnegie Mellon University

PhD advisorDaphne Ippolito

Master’sCornell University

UndergraduateCornell University

barry.wang · https://github.com/GithuBarry

Bart Jacobs bartjacobs

PhD studentsAmin Timany, Chris Heunen

Bartłomiej Bojanowski bartomiejbojanowski

Bartosz Milewski bartoszmilewski

PhDUniversity of Wrocław

BartoszMilewski.com · 0000-0001-9249-0104

Basile Clément basileclement

Bas Spitters basspittersAssociate professor · Aarhus University

cs.au.dk/~spitters · 0000-0002-2802-0973

Bas Steunebrink bassteunebrink

people.idsia.ch/~steunebrink

Batuhan Özyurt batuhanozyurt

Behnam Hedayatnia behnamhedayatnia

Behnam Neyshabur behnamneyshaburCo-Founder and CEO · Mirendil

PhD advisorNathan Srebro

Postdoc advisorSanjeev Arora, Yann LeCun

PhDToyota Technological Institute at Chicago

Master’sSharif University of Technology

UndergraduateSharif University of Technology

Beidi Chen beidichenAssistant Professor of Electrical and Computer Engineering · Carnegie Mellon University

PhD advisorAnshumali Shrivastava

Postdoc advisorChristopher Ré

PhDRice University

UndergraduateUniversity of California, Berkeley

andrew.cmu.edu/user/beidic · https://github.com/keroro824

Bela Bauer belabauer

PhD studentsAlex Meiburg

Benedikt Ahrens benediktahrensAssistant Professor · Delft University of Technology

PhD studentsKobe Wullaert

PostdocsJonathan Weinberger

PhDUniversité Côte d’Azur

Master’sUniversité Côte d’Azur

UndergraduateUniversität Bayreuth

benediktahrens.gitlab.io · 0000-0002-6786-4538 · benediktahrens

Ben Greenman bengreenmanAssistant Professor · University of Utah

PhDNortheastern University

Master’sCornell University

UndergraduateCornell University

cs.brown.edu/~bgreenma · bennn

Benjamin Chung benjaminchung

0000-0001-9238-7334

Benjamin C. Pierce benjamincpierceHenry Salvatori Professor · University of Pennsylvania

PhD studentsArthur Azevedo de Amorim, Leonidas Lampropoulos

PostdocsLeonidas Lampropoulos

cis.upenn.edu/~bcpierce · 0000-0001-7839-1636

Benjamin Inden benjamininden

Benjamin L. Edelman benjaminledelmanFounder and lead, Agent Security team · Center for AI Standards and Innovation (CAISI)

PhD advisorLeslie Valiant, Sham Kakade

PhDHarvard University

UndergraduatePrinceton University

benjaminedelman.com

Benjamin M Good benjaminmgood

0000-0002-7334-7852

Benjamin Quiring benjaminquiringUniversity of Maryland, College Park

0000-0002-6922-9706

Benno Stein bennostein

Ben Simner bensimnerPhD Student · University of Cambridge

0009-0000-8431-9577

Benyamin T. Tabarsi benyaminttabarsiNorth Carolina State University

benyamintabarsi.com · 0000-0002-4168-6489

Bereket Ayele bereketayele

0000-0002-0095-2146

Bereket Ngussie Bekele bereketngussiebekele

Beren Millidge berenmillidge

beren.io · https://github.com/BerenMillidge

Berk Ekmekci berkekmekci

Bernard Epstein bernardepstein

PhD studentsJack Minker

Bernardo Toninho bernardotoninhoAssociate Professor · University of Lisbon

PhD advisorFrank Pfenning, Luís Caires

PhDUniversidade Nova de Lisboa

Master’sCarnegie Mellon University

ctp.di.fct.unl.pt/~btoninho · 0000-0002-0746-7514 · https://github.com/btoninho

Bernhard Banaschewski bernhardbanaschewski

Bernhard Möller bernhardmoller

Bernhard Reinke bernhardreinke

Bernhard Schölkopf bernhardscholkopfMax Planck Institute for Intelligent Systems

PhD advisorStefan Jähnichen, Vladimir Vapnik

PhD studentsShixiang Shane Gu

PhDTechnische Universität Berlin

Bill Yuchen Lin billyuchenlinxAI

PhD advisorXiang Ren

PhDUniversity of Southern California

UndergraduateShanghai Jiao Tong University

yuchenlin.xyz · https://github.com/yuchenlin

Bing Schaefer bingschaefer

Bin Yu binyu

PhD studentsChandan Singh

Birthe van den Berg birthevandenberg

0000-0002-0088-9546

Blake Howald blakehowald

Blake S. Pollard blakespollard

Bob Atkey bobatkeyUniversity of Strathclyde

PhD advisorDavid Aspinall, Ian Stark

PhD studentsAndre Videla

PhDUniversity of Edinburgh

bentnib.org · https://github.com/bobatkey

Bob Coecke bobcoeckeUniversity of Oxford

PhD studentsAntonin Delpeuch, Robin Piedeleu

cs.ox.ac.uk/people/bob.coecke

Bodil Biering bodilbiering

Bohdan B Khomtchouk bohdanbkhomtchoukIndiana University Indianapolis

0000-0001-9607-7528

Borhane Blili-Hamelin borhaneblilihamelinAI risk management practitioner

PhDColumbia University

borhane.xyz · 0000-0002-9573-3332

Brad A. Myers bradamyersProfessor and Director · Carnegie Mellon University

PhD studentsMichael Coblenz

PhDUniversity of Toronto

Master’sMassachusetts Institute of Technology

UndergraduateMassachusetts Institute of Technology

cs.cmu.edu/~bam · 0000-0002-4769-0219

Brad Boyd bradboyd

Brad Chen bradchen

Brandon Knutson brandonknutsonColorado School of Mines

0009-0004-8413-0239

Brandon Lucia brandonluciaKavčić-Moura Professor of ECE · Carnegie Mellon University

PhD advisorLuis Ceze

PhD studentsMilijana Surbatovich

PhDUniversity of Washington

brandonlucia.com · https://github.com/blucia0a/

Brian Campbell briancampbellUniversity of Edinburgh

research.ed.ac.uk/en/persons/6b2472cb-5094-4a65-95be-24ea7e87dd6b · 0000-0001-6941-5034

Brian John Day brianday

Brian Lu brianlu

0000-0002-6381-5499

Brianna Marshall briannamarshallPhD Student · Northeastern University

UndergraduateUniversity of Washington

bmarsha.com · 0000-0002-7744-4932 · https://github.com/bamarsha

Brian Zill brianzill

Brigitte Pientka brigittepientkaMcGill University

0000-0002-2549-4276

Bruno C. d. S. Oliveira brunocdsoliveiraAssistant Professor · The University of Hong Kong

0000-0002-1846-7210

Bruno Gavranović brunogavranovic

Bruno Le Floch brunolefloch

Bruno Olshausen brunoolshausenUniversity of California, Berkeley

PhD advisorCharles Anderson, David Van Essen

PhD studentsJascha Sohl-Dickstein

PhDCalifornia Institute of Technology

Bryan Orinion bryanorinion

Bryan Parno bryanparnoKavčić-Moura Professor of Electrical & Computer Engineering and Computer Science · Carnegie Mellon University

PhD advisorAdrian Perrig

PhD studentsAmar Shah, Elanor Tang, Jay Bosamiya, Yi Zhou, Zhengyao Lin

PostdocsJoshua Gancher

PhDCarnegie Mellon University

Master’sCarnegie Mellon University

UndergraduateHarvard University

andrew.cmu.edu/user/bparno · 0000-0002-9113-1684 · parno

B. Ryan Roberts bryanroberts

Bryce Clarke bryceclarkeResearcher · Tallinn University of Technology

PhD advisorMichael Johnson

PhDMacquarie University

Master’sMacquarie University

bryceclarke.github.io · 0000-0003-0579-2804

Burke Fetscher burkefetscher

Caleb Kim calebkim

0009-0005-1832-6943

Cameron Diao camerondiao

Cameron Dour camerondour

Cameron Moy cameronmoy

UndergraduateUniversity of Maryland, College Park

camoy.name · 0000-0002-4384-6351

Cameron Ramsay cameronramsay

Camerron Crowder camerroncrowderAssistant Professor · University of Alabama at Birmingham

PhDOregon State University

Master’sNorthern Arizona University

UndergraduateThe Evergreen State College

camerroncrowderphd.com · 0000-0002-3517-0697

Can Rager canrager

Carl E. Rasmussen carlerasmussenProfessor of Machine Learning, Department of Engineering · University of Cambridge

PhD advisorGeoffrey Hinton

PhD studentsAdrià Garriga-Alonso

PhDUniversity of Toronto

mlg.eng.cam.ac.uk/carl

Carl-Friedrich Bödigheimer carlfriedrichbodigheimer

PhD advisorAlbrecht Dold

PhD studentsViktoriya Ozornova

PhDHeidelberg University

Master’sUniversity of Oxford

math.uni-bonn.de/people/cfb

Carlo Angiuli carloangiuliAssistant Professor of Computer Science · Indiana University

PhD advisorRobert Harper

PhDCarnegie Mellon University

carloangiuli.com · 0000-0002-9590-3303 · cangiuli · @carloangiuli@mathstodon.xyz

Carlos José Pereira de Lucena carlosjosepereiradelucena

PhD advisorGerald Estrin

PhD studentsLeonardo de Moura

PhDUniversity of California, Los Angeles

Carlos Ramón Guevara carlosramonguevara

Carlos Simpson carlossimpsonC.N.R.S., Equipe AGT, Laboratoire J.-A. Dieudonné · CNRS

PhD advisorWilfried Schmid

PhD studentsGuillaume Brunerie

PhDHarvard University

math.univ-cotedazur.fr/~carlos

Carolyn Jane Anderson carolynanderson

Carolyn Zech carolynzechMassachusetts Institute of Technology

0009-0001-5218-4329

Carroll Morgan carrollmorganUNSW Sydney

Carsten Schürmann carstenschurmann

Casper Harteveld casperharteveldProfessor · Northeastern University

PhDDelft University of Technology

Master’sDelft University of Technology

UndergraduateLeiden University

ghost.lab.northeastern.edu · 0000-0002-8164-0303

Cass Alexandru cassalexandruPhD · RPTU Kaiserslautern-Landau

PhD advisorJurriaan Rot, Niels van der Weide, Ralf Hinze

Master’sRadboud University

UndergraduateLudwig-Maximilians-Universität München

cxandru.ee · 0009-0008-5210-2873 · cxandru · @cxandru@types.pl

Cassius Ionescu Tulcea cassiusionescutulcea

PhD studentsRobert Langlands

Cătălin Hriţcu catalinhritcuTenured Faculty (Tenured Research Group Leader) · Max Planck Institute for Security and Privacy

PhD studentsArthur Azevedo de Amorim

PhDSaarland University

catalin-hritcu.github.io · 0000-0001-8919-8081

Catherine Stinson catherinestinsonQueen’s University

PhDUniversity of Pittsburgh

Master’sUniversity of Toronto

catherinestinson.ca

CB Aberle cbaberlePhD · Carnegie Mellon University

PhD advisorFrank Pfenning

UndergraduateUniversity of Oxford

cbaberle.com · 0009-0006-6271-2718

Cecilia Diniz Behn ceciliadinizbehnProfessor · Colorado School of Mines

PhD studentsMichael Ivanitskiy

0000-0002-8078-5105

Cécilia Pradic ceciliapradic

Cedrick Argueta cedrickargueta

Celeste Barnaby celestebarnabyUniversity of Texas at Austin

0000-0001-7688-6133

Celia Rubio-Madrigal celiarubiomadrigal

Ceren Mert cerenmertUniversity of Maryland, College Park

Master’sUniversity of Maryland, College Park

UndergraduateUniversity of Maryland, College Park

0009-0002-9365-0661

César Ferri Ramírez cesarferriramirez

0000-0002-8975-1120

César Macchi cesarmacchi

PhD studentsJean-Pierre Jouannaud

C. Estelle Smith cestellesmithAssistant Professor · Colorado School of Mines

PhDUniversity of Minnesota

UndergraduateUniversity of Minnesota

estellesmithphd.com · 0000-0002-4981-7105

C. Gentry cgentryChief Scientist · Cornami

0009-0000-6651-7262

Chandan Singh chandansinghStaff research scientist · Voyage AI

PhD advisorBin Yu

csinva.io · https://github.com/csinva

Chandler Meyers chandlermeyers

Chanhee Cho chanheechoPhD student, Electrical & Computer Engineering · Hue University of Education

Master’sCarnegie Mellon University

UndergraduateSeoul National University

chanheec.github.io · 0009-0009-6620-9070 · https://github.com/chanheec

Chantal Enguehard chantalenguehard

pagesperso.ls2n.fr/~enguehard-c

Chao-Hong Chen chaohongchenResearch Scientist · Meta

PhDIndiana University

Master’sNational Chiao Tung University

UndergraduateNational Chiao Tung University

0000-0002-9314-8105

Chao Xie chaoxie

Charles Anderson charlesanderson

PhD studentsBruno Olshausen

Charles Grellois charlesgrelloisUniversity of Sheffield

Charles K. Chui charleskchui

PhD studentsMing-Jun Lai

Charles Rathkopf charlesrathkopfForschungszentrum Jülich

PhDUniversity of Virginia

charlesrathkopf.net

Charles Rezk charlesrezkUniversity of Illinois at Urbana-Champaign

PhD advisorMichael J. Hopkins

PhD studentsNima Rasekh

PhDMassachusetts Institute of Technology

rezk.web.illinois.edu · 0000-0003-4111-893X

ChengXiang Zhai chengxiangzhaiUniversity of Illinois at Urbana-Champaign

PhD advisorJohn Lafferty

PhD studentsQiaozhu Mei

PhDCarnegie Mellon University

czhai.cs.illinois.edu

Cheng Zhang chengzhangAssistant Professor · Worcester Polytechnic Institute

PhD advisorMarco Gaboardi

Postdoc advisorAlexandra Silva

PhDBoston University

UndergraduateWheaton College (Massachusetts)

czhang03.codeberg.page · 0000-0002-8197-6181 · czhang03 · @czhang03@mathstodon.xyz

Chenlin Meng chenlinmengCS PhD student · Stanford University

PhD advisorStefano Ermon

UndergraduateStanford University

cs.stanford.edu/~chenlin · https://github.com/chenlin9

Chester J. F. Gould chesterjfgouldStudent · University of British Columbia

0009-0000-6365-7171

Chinmaya Dabral chinmayadabral

Chitta Baral chittabaral

PhD advisorJack Minker

PhDUniversity of Maryland, College Park

Chiyu Wu chiyuwu

Chris Buckley chrisbuckley

PhD studentsManuel Baltieri, Tomek Korbak

Chris Callison-Burch chriscallisonburchRaj and Neera Singh Professor of Artificial Intelligence · University of Pennsylvania

PhD studentsEllie Pavlick, Li Zhang

cis.upenn.edu/~ccb

Chris Casinghino chriscasinghino

Chris Fallin chrisfallinSenior Architect · F5

PhDCarnegie Mellon University

Master’sCarnegie Mellon University

UndergraduateUniversity of Notre Dame

0000-0002-6733-1803

Chris Hathhorn chrishathhorn

0000-0002-6277-3987

Chris Hawblitzel chrishawblitzelSenior Principal Researcher · Microsoft Research

PhDCornell University

chrishawblitzel.net · 0000-0002-5676-0362

Chris Heunen chrisheunenProfessor of Quantum Programming · University of Edinburgh

PhD advisorBart Jacobs, Klaas Landsman

PhDRadboud University

Master’sRadboud University

homepages.inf.ed.ac.uk/cheunen · 0000-0001-7393-2640 · https://github.com/chrisheunen

Chris Isham chrisisham

PhD studentsJamie Vicary

Chris Kapulkin chriskapulkinProfessor of Computer Science and Mathematics · Vanderbilt University

kkapulkin.github.io

Chris Martens chrismartensAssociate Professor · Northeastern University

PhD advisorFrank Pfenning, Karl Crary

PhD studentsCynthia Li

PhDCarnegie Mellon University

UndergraduateCarnegie Mellon University

convivial.tools · 0000-0002-7026-0348 · chrisamaphone · @chrisamaphone@hci.social

Chris Mathwin chrismathwin

Chris Piech chrispiechStanford University

PhD advisorLeo Guibas, Mehran Sahami

PhD studentsAllen Nie, Mo Tiwari

stanford.edu/~cpiech/bio/index.html

Christian Sattler christiansattler

Christian Schroeder de Witt christianschroederdewittAssociate Professor of AI and Information Security · University of Oxford

Christian Uldal Graulund christianuldalgraulundResearch Manager · Danfoss

PhDIT University of Copenhagen

0000-0003-3297-9471

Christian Voigt christianvoigt

Christina Garman christinagarmanPurdue University West Lafayette

0009-0006-5077-5404

Christina Vasilakopoulou christinavasilakopoulou

Christine Paulin-Mohring christinepaulinmohringUniversité Paris Saclay

PhD advisorGérard Huet

PhD studentsJean-Christophe Filliâtre

PhDUniversité Paris Diderot

Christophe Gyurgyik christophegyurgyikStanford University

cgyurgyik.github.io · 0000-0001-8493-1133

Christopher A. LeClair christopheraleclairTeam Leader · National Center for Advancing Translational Sciences

PhDUniversity of Virginia

0000-0002-2746-5938

Christopher D. Manning christopherdmanning

PhD studentsDan Klein, Danqi Chen, Samuel R. Bowman, Sebastian Schuster

PostdocsJonathan Berant, Siva Reddy

Christopher Graziul christophergraziul

Christopher Lam christopherlam

Christopher Longuet-Higgins christopherlonguethiggins

PhD studentsGeoffrey Hinton

Christopher Potts christopherpottsProfessor of Linguistics and, by courtesy, Computer Science · Stanford University

PhD studentsSamuel R. Bowman

web.stanford.edu/~cgpotts · 0000-0002-7978-6055 · https://github.com/cgpotts

Christopher Pulte christopherpulteUniversity of Oxford

cl.cam.ac.uk/~cp526 · 0000-0002-7369-183X

Christopher Ré christopherreProfessor · Stanford University

PostdocsBeidi Chen

cs.stanford.edu/~chrismre

Christos Dimoulas christosdimoulasNorthwestern University

Chris Vissers chrisvissers

PhD studentsEd Brinksma, Joost-Pieter Katoen

Chris Waites chriswaites

Chung-chieh Shan chungchiehshan

0000-0002-0339-6405

Chunzhi Su chunzhisu

Cindy Ramirez cindyramirez

Claire Cardie clairecardieCornell University

0000-0002-2061-6094

Clara E. Rivera claraerivera

Clare Martin claremartinPrincipal Lecturer · Oxford Brookes University

PhDUniversity of Oxford

Master’sUniversity of Oxford

UndergraduateUniversity of Oxford

0000-0002-3147-3746

Clark Barrett clarkbarrettProfessor (Research) · Stanford University

PhDStanford University

0000-0002-9522-3084

Claude Kirchner claudekirchnerInria

PhD advisorJean-Pierre Jouannaud

PhD studentsCody Roux

PhDUniversité Henri Poincaré (Nancy 1)

0000-0002-1686-1046

Claude Puech claudepuech

PhD studentsFrédo Durand

Claudio Luzzatti claudioluzzatti

PhD studentsMarco Marelli

Clemencia Siro clemenciasiro

Clemens Lautemann clemenslautemann

Clément Allain clementallain

Clement Pit-Claudel clementpitclaudelAssistant Professor · École Polytechnique Fédérale de Lausanne

pit-claudel.fr/clement · 0000-0002-1900-3901

Cody Littley codylittley

Cody Roux codyrouxApplied Scientist · Amazon Web Services

PhD advisorClaude Kirchner

PhDUniversité Henri Poincaré (Nancy 1)

kleene.church · codyroux

Coenraad Mouton coenraadmouton

Cole Comfort colecomfortPostdoc · Inria

PhDUniversity of Oxford

colecomfort.github.io · 0009-0000-3120-8822

Cole Schlesinger coleschlesinger

Colin Raffel colinraffelAssociate Professor of Computer Science · University of Toronto

PhD studentsDerek Tam

colinraffel.com

Colin Runciman colinruncimanEuropean Space Research

0000-0002-0151-3233

Conal Elliott conalelliott

Connor Leahy connorleahy

Conor McBride conormcbrideReader · University of Strathclyde

PhD advisorRodney Martineau Burstall

PhD studentsAndre Videla

PhDUniversity of Edinburgh

personal.cis.strath.ac.uk/conor.mcbride · 0000-0003-1487-0886 · @pigworker@types.pl

Corrado Böhm corradobohm

PhD studentsStefano Guerrini

Cosmo Viola cosmoviolaResearch Assistant · University of Illinois at Urbana-Champaign

0009-0009-1263-985X

Courtney Ashcraft courtneyashcraft

Craig Chambers craigchambers

PhD studentsJonathan Aldrich

PhDStanford University

UndergraduateMassachusetts Institute of Technology

Craig McLaughlin craigmclaughlinSenior Software Engineer · Category Labs

cmcl.github.io · 0000-0002-1323-8566 · https://github.com/cmcl

Craig Roy craigroyQuantinuum

0009-0002-6034-2910

Cristina Garbacea cristinagarbacea

Cristina Matache cristinamatachePostdoc, Laboratory for Foundations of Computer Science · University of Edinburgh

PhD advisorSam Staton

Postdoc advisorSam Lindley

PhDUniversity of Oxford

homepages.inf.ed.ac.uk/cmatache · 0009-0003-6036-6426

Cynthia Li cynthialiPhD student · Northeastern University

PhD advisorChris Martens

erroneouswhale.pics · 0009-0005-7937-4666 · @cxli@scholar.social

Cyrus Omar cyrusomarAssistant Professor · University of Michigan

PhD advisorJonathan Aldrich

Postdoc advisorJonathan Aldrich, Ravi Chugh

PhD studentsAlexander Bandukwala, Andrew Blinn, David Moon, Eric Griffis, Matthew Keenan, Thomas Porter

PhDCarnegie Mellon University

UndergraduateUniversity of Illinois at Urbana-Champaign

web.eecs.umich.edu/~comar · 0000-0003-4502-7971 · cyrus-

Damiano Mazza damianomazzaUniversité Sorbonne Paris Nord

lipn.univ-paris13.fr/~mazza

Damien Sileo damiensileo

Dana Scott danascott

PhD studentsAndrej Bauer, Kenneth Kunen, Lars Birkedal, Michael Paul Fourman

Dan Boneh danboneh

PhD studentsFlorian Tramèr

Dan Braun danbraun

Dan Carpenter dancarpenterNorth Carolina State University

PhDNorth Carolina State University

0000-0003-3253-8369

Danel Ahman danelahmanAssociate Professor · University of Tartu

PhDUniversity of Edinburgh

danel.ahman.ee · 0000-0001-6595-2756 · danelahman

Dan Frumin danfrumin

Dan Garrette dangarretteResearch Scientist · Google DeepMind

PhDUniversity of Texas at Austin

Dan Grossman dangrossmanProfessor and Interim Director, Paul G. Allen School · University of Washington

PhD advisorGreg Morrisett

PhD studentsTalia Ringer

PhDCornell University

UndergraduateRice University

homes.cs.washington.edu/~djg · 0009-0005-2111-1900

Dan Hendrycks danhendrycksDirector · Center for AI Safety

PhD advisorDawn Song, Jacob Steinhardt

PhDUniversity of California, Berkeley

UndergraduateUniversity of Chicago

people.eecs.berkeley.edu/~hendrycks · https://github.com/hendrycks

Daniela Rus danielarusMassachusetts Institute of Technology

PhD advisorJohn Edward H. Hopcroft

PostdocsAntonio Norelli

PhDCornell University

danielarus.csail.mit.edu

Daniel Calco danielcalco

Daniel J. Dougherty danieldougherty

Daniele Gorla danielegorlaSapienza University of Rome

0000-0001-8859-9844

Daniele Palombi danielepalombi

Daniele Turi danieleturi

dblp.org/pid/61/6982.html

Daniel Feltey danielfeltey

Daniel Freeman danielfreeman

Daniel Gomez danielgomez

Daniel Gratzer danielgratzerTenure-Track Assistant Professor · Aarhus University

PhD advisorLars Birkedal

Postdoc advisorLars Birkedal, Sam Staton

PhDAarhus University

UndergraduateCarnegie Mellon University

danielgratzer.com · 0000-0003-1944-0789 · jozefg

Daniel Hillerström danielhillerstromSenior Software Engineer · Category Labs

PhD advisorJohn Longley, Sam Lindley

PhDUniversity of Edinburgh

Master’sUniversity of Edinburgh

UndergraduateAalborg University

dhil.net · 0000-0003-4730-9315 · https://github.com/dhil · @dhil@mathstodon.xyz

Daniel Joseph Dougherty, Jr. danieljosephdoughertyjr

PhD studentsPatricia Johann

Daniel Kang danielkangAssistant Professor · University of Illinois at Urbana-Champaign

ddkang.github.io · 0000-0001-9860-9938

Daniel Khashabi danielkhashabiAssistant Professor, Department of Computer Science · Johns Hopkins University

PhD advisorDan Roth

Postdoc advisorAshish Sabharwal, Hannaneh Hajishirzi, Yejin Choi

danielkhashabi.com

Danielle Perszyk danielleperszyk

Daniel Levy daniellevy

Daniel R. Licata daniellicataAssociate Professor · Wesleyan University

PostdocsMax S. New

PhDCarnegie Mellon University

UndergraduateBrown University

dlicata.wescreates.wesleyan.edu

Daniel McBride danielmcbride

Daniel McKenzie danielmckenzieAssistant Professor · Colorado School of Mines

PhD advisorMing-Jun Lai

PhDUniversity of Georgia

Master’sUniversity of Cape Town

UndergraduateUniversity of Cape Town

danielmckenzie.github.io · 0000-0001-5818-4867 · https://github.com/DanielMckenzie

Daniel Moseguí González danielmoseguigonzalez

Daniel P. Friedman danielpfriedman

PhD advisorRobert J. Simmons, Terrence Wendall Pratt

PhD studentsWilliam E. Byrd

PhDUniversity of Texas at Austin

Daniel R. Grayson danielrgraysonProfessor Emeritus · University of Illinois at Urbana-Champaign

PhD advisorSteven Kleiman

PhDMassachusetts Institute of Technology

Master’sUniversity of Chicago

UndergraduateUniversity of Chicago

graysonfamily.org/dan · 0000-0002-7237-4592 · https://github.com/DanGrayson

Daniel J. Rosenkrantz danielrosenkrantz

Daniel Schoepe danielschoepeAmazon

0009-0006-1187-9569

Daniel Spiewak danielspiewak

Daniel Weber danielweberBen-Gurion University of the Negev

Dan Jurafsky danjurafsky

PhD studentsMirac Suzgun

Dan Kilman dankilman

Dan Klein dankleinProfessor, Computer Science Division · University of California, Berkeley

PhD advisorChristopher D. Manning

PhD studentsGreg Durrett, Percy Liang

PhDStanford University

Master’sStanford University

UndergraduateCornell University

people.eecs.berkeley.edu/~klein

Dan Marsden danmarsdenAssistant professor · University of Nottingham

stringdiagram.com · 0000-0003-0579-0323

Danny Hernandez dannyhernandez

Danqi Chen danqichenAssociate Professor of Computer Science · Princeton University

PhD advisorChristopher D. Manning

PostdocsNicholas Roberts

PhDStanford University

UndergraduateTsinghua University

cs.princeton.edu/~danqic · https://github.com/danqi

Dan Roth danroth

PhD studentsDaniel Khashabi, Shyam Upadhyay, Vivek Srikumar

PostdocsIvan Titov

Dan Valentine danvalentine

Daphne Ippolito daphneippolito

PhD studentsBarry Wang

Dar Gilboa dargilboa

Darya Kurilova daryakurilova

David Aspinall davidaspinallProfessor · University of Edinburgh

PhD advisorDonald Sannella

PhD studentsBob Atkey, Robert Atkey

PhDUniversity of Edinburgh

homepages.inf.ed.ac.uk/da · 0000-0002-6073-9013

David Bindel davidbindelCornell University

PhD studentsAriel E. Kellison

0000-0002-8733-5799

David Darais daviddarais

David Dohan daviddohan

David Drakard daviddrakard

David E. Narváez davidenarvaezPostdoctoral Associate · Virginia Tech

Master’sRochester Institute of Technology

0000-0003-3704-1060

David Everett Rumelhart davideverettrumelhart

PhD studentsMichael I. Jordan

David G. Berry davidgberry

David Gifford davidgiffordMassachusetts Institute of Technology

PhD advisorSusan Speer Owicki

PhD studentsTatsunori Hashimoto

PhDStanford University

David Gries davidgries

PhD studentsSusan Speer Owicki

David I. Spivak davidispivakSenior Scientist and Institute Fellow · Topos Institute

PhD advisorPeter Teichner

PhDUniversity of California, Berkeley

UndergraduateUniversity of Maryland, College Park

dspivak.net · 0000-0002-9326-5328

David Jaz Myers davidjazmyersResearch scientist · Topos Institute

PhD advisorEmily Riehl

PhDJohns Hopkins University

UndergraduateOberlin College

davidjaz.com · https://github.com/DavidJaz

David John Wheeler davidjohnwheeler

PhD studentsGyula Antal Mago

David Jurgens davidjurgensAssociate Professor · University of Michigan

PhDUniversity of California, Los Angeles

jurgens.people.si.umich.edu

David Kaloper-Meršinjak davidkalopermersinjakUniversity of Cambridge

cl.cam.ac.uk/~dk505 · 0009-0001-4506-6236

David Kotz davidkotzDartmouth College

PhD studentsJon Howell

PhDDuke University

UndergraduateDartmouth College

cs.dartmouth.edu/~kotz

David Moon davidmoonPhD · University of Michigan

PhD advisorCyrus Omar

PhDUniversity of Michigan

dmoon.info · 0000-0002-1081-2235 · https://github.com/dm0n3y

David Notkin davidnotkin

PhD studentsJonathan Aldrich

David Patterson davidpatterson

PhD studentsMike Dahlin

David Pym davidpym

David Renshaw davidrenshaw

https://github.com/dwrensha

David Swasey davidswaseyRiverside Research

0009-0008-2152-3966

David Van Essen davidvanessen

PhD studentsBruno Olshausen

David Van Horn davidvanhornAssociate Professor · University of Maryland

cs.umd.edu/~dvanhorn · 0000-0002-9201-6864 · https://github.com/plum-umd/dvanhorn

David Wagner davidwagner

PhD studentsNicholas Carlini

David Walker davidwalker

PhD studentsAnders Miltner, Yitzhak Mandelbaum

Dawn Song dawnsongProfessor · University of California, Berkeley

PhD studentsDan Hendrycks

0000-0001-9745-6802

Debajyoti Datta debajyotidatta

Deepak Kapur deepakkapur

Deep Ganguli deepganguli

Denis Carnier deniscarnierKU Leuven

distrinet.cs.kuleuven.be/people/DenisCarnier · 0000-0003-2148-5193

Denis Emelin denisemelinResearcher in AI and NLP · University of Edinburgh

PhD advisorIvan Titov, Rico Sennrich

PhDUniversity of Edinburgh

Master’sSaarland University

UndergraduateUniversity of Tübingen

demelin.github.io · https://github.com/demelin

Denis Firsov denisfirsov

Denis Kleyko deniskleyko

Denis Kuperberg deniskuperbergCNRS researcher at LIP, Plume team · CNRS

PostdocsLê Thành Dũng Nguyên

perso.ens-lyon.fr/denis.kuperberg · https://github.com/deniskup

Denis Thérien denistherien

Deniz Yuret denizyuretProfessor of Computer Engineering · Koç University

PhD studentsAli Safaya

denizyuret.com · https://github.com/denizyuret

Derek Chen derekchen

Derek Dreyer derekdreyer

PostdocsAïna Linn Georges, Neel Krishnaswami, Ori Lahav

Derek Duenas derekduenas

Derek Egolf derekegolf

Derek Elkins derekelkins

Derek Tam derektamPhD student · University of Toronto

PhD advisorColin Raffel

dptam.github.io · http://github.com/dptam

Derick Wood derickwood

Devon Loehr devonloehr

0000-0003-1127-8932

Dexter Kozen dexterkozen

PhD studentsJean-Baptiste Jeannin, Konstantinos Mamouras, Pedro H. Azevedo de Amorim

Dhaval Raval dhavalraval

Dhruv Makwana dhruvmakwanaPhD Candidate in Computer Science · University of Cambridge

Master’sUniversity of Cambridge

dc-mak.github.io · 0000-0001-7220-4991 · https://github.com/dc-mak

Diem-Trang Tran diemtrangtranVinmec Central Park International Hospital

0000-0002-4219-2990

Dieuwke Hupkes dieuwkehupkesResearch scientist · Meta AI Research

PhD advisorJelle Zuidema

PhDUniversity of Amsterdam

Master’sUniversity of Amsterdam

dieuwkehupkes.nl · https://github.com/dieuwkehupkes

Diganta Misra digantamisraPhD Fellow · Max Planck Institute for Intelligent Systems

PhD advisorAntonio Orvieto, Volkan Cevher

Master’sUniversité de Montréal

digantamisra98.github.io · https://github.com/digantamisra98

Dilyar Buzan dilyarbuzan

Dimitra Giantsidi dimitragiantsidi

0009-0001-9820-5105

Dimitra Panagou dimitrapanagouUniversity of Michigan

0000-0002-4547-167X

Dimitri Coelho Mollo dimitricoelhomolloAssociate Professor in Philosophy of Artificial Intelligence · Umeå University

PhDKing’s College London

Master’sUniversity of Bologna

UndergraduateUniversity of Bologna

dimitrimollo.owlstown.net · 0000-0002-0464-3535 · @dcm@social.sunet.se

Dimitrios J. Economou dimitriosjeconomouPostdoc · University of Cambridge

PhD advisorJana Dunfield

Postdoc advisorNeel Krishnaswami

PhDQueen’s University

UndergraduateUniversity of Colorado Boulder

dimecon.github.io · 0000-0001-7920-744X · https://github.com/dimecon

Dimitrios Skarlatos dimitriosskarlatosAssistant Professor · Carnegie Mellon University

0000-0002-0289-5499

Dimitris Tsementzis dimitristsementzis

Dingyin Tao dingyintao

0000-0001-6531-2740

Dirk van Dalen dirkvandalen

PhD advisorArend Heyting

PhD studentsHenk Barendregt, Jan Bergstra, Marc Bezem

PhDUniversity of Amsterdam

Diyi Yang diyiyangAssistant Professor · Stanford University

PhDCarnegie Mellon University

UndergraduateShanghai Jiao Tong University

cs.stanford.edu/~diyiy · 0000-0003-1220-3983

Djordje Čubrić djordjecubric

Dmitrij Szamozvancev dmitrijszamozvancevUniversity of Cambridge

PhD advisorMarcelo P. Fiore, Neel Krishnaswami

Master’sUniversity of Cambridge

UndergraduateUniversity of Cambridge

cl.cam.ac.uk/~ds709 · 0000-0002-5436-6302

Dominik Wagner dominikwagnerUniversity of Regensburg

0000-0001-7514-8446

Dominique Devriese dominiquedevrieseKU Leuven

PhD studentsThomas Van Strydonck, Yee-Jian Tan

PostdocsAndreas Nuyts

distrinet.cs.kuleuven.be/people/DominiqueDevriese · 0000-0002-3862-6856

Donald Arthur Norman donaldarthurnorman

PhD studentsMichael I. Jordan

Donald Benson donaldbensonUniversity of Alabama at Birmingham

0000-0003-3743-1608

Donald E. Knuth donaldknuth

Donald Sannella donaldsannellaEmeritus Professor of Computer Science · University of Edinburgh

PhD advisorRodney Martineau Burstall

PhD studentsDavid Aspinall

PhDUniversity of Edinburgh

homepages.inf.ed.ac.uk/dts · 0000-0003-4520-8924

Dong-Ho Lee dongholee

Donnacha Oisín Kidney donnachaoisinkidneyPostdoc, functional programming group · Imperial College London

doisinkidney.com · 0000-0003-4952-7359 · @oisdk@mathstodon.xyz

Dorette Pronk dorettepronkProfessor · Dalhousie University

PhDUtrecht University

Master’sUtrecht University

dal.ca/faculty/science/math-stats/faculty-staff/our-faculty/mathematics/dorette-pronk.html

Dorsa Sadigh dorsasadigh

Douglas McNeil douglasmcneil

0009-0006-4662-0469

Douglas Nychka douglasnychka

PhD advisorGrace Wahba

PhDUniversity of Wisconsin–Madison

Douglas Stebila douglasstebilaProfessor · University of Waterloo

PhDUniversity of Waterloo

Master’sUniversity of Oxford

douglas.stebila.ca/research · 0000-0001-9443-3170

Dragomir Radev dragomirradev

PhD advisorKathleen Rose McKeown

PhD studentsTao Yu

PhDColumbia University

Dustin Jamner dustinjamner

Dylan Braithwaite dylanbraithwaite

UndergraduateUniversity of Cambridge

0009-0004-2546-5370

Dylan Schrader dylanschrader

Dylan Zhang dylanzhang

0000-0001-6160-2329

Ed Brinksma edbrinksmaUniversity of Twente

PhD advisorChris Vissers, Giuseppe Scollo

PhD studentsJoost-Pieter Katoen

PhDUniversity of Twente

people.utwente.nl/h.brinksma

Edmund Clarke edmundclarke

PhD advisorRobert Lee Constable

PhD studentsSoonho Kong

PhDCornell University

Edmund Lam edmundlam

0009-0001-9375-6397

Edmund Lau edmundlau

Edmund Robinson edmundrobinson

PhD studentsJules Hedges

Edsger W. Dijkstra edsgerwdijkstra

PhD studentsArie Nicolaas Habermann

Edward A. Ashcroft edwardaashcroft

PhD studentsMatthew Hennessy

Edward Hermann Haeusler edwardhermannhaeusler

PhD advisorLuiz Carlos Pinheiro Dias Pereira, Tarcísio Haroldo Cavalcante Pequeno

PhD studentsLeonardo de Moura

PhDPontifícia Universidade Católica do Rio de Janeiro

Edward Morehouse edwardmorehouse

Edwin Brady edwinbradyUniversity of St Andrews

research-portal.st-andrews.ac.uk/en/persons/b149e607-1c31-4d61-9757-948f2e89c6c1 · 0000-0002-9734-367X

Egbert Rijke egbertrijkePostdoc · University of Ljubljana

PhDCarnegie Mellon University

0000-0002-5272-6175 · HoTT-Intro

Egor Namakonov egornamakonovPhD student · Aarhus University

Master’sSt Petersburg University

UndergraduatePeter the Great St. Petersburg Polytechnic University

fresheed.github.io · 0000-0002-7517-9389 · https://github.com/fresheed

E. H. Moore ehmoore

PhD studentsOswald Veblen

Eigil Fjeldgren Rischel eigilfjeldgrenrischelTallinn University of Technology

0000-0002-1145-2753

Einar Hille einarhille

PhD advisorMarcel Riesz

PhD studentsIrving Ezra Segal

PhDStockholm University

Ekaterina Komendantskaya ekaterinakomendantskayaHeriot-Watt University

macs.hw.ac.uk/~ek19 · 0000-0002-3240-0987

Ekaterina Komendantskya ekaterinakomendantskyaHeriot-Watt University

PhD advisorAnthony Karel Seda

PhDUniversity College Cork

macs.hw.ac.uk/~ek19

Ekaterina Shutova ekaterinashutova

Ekin Dogus Cubuk ekindoguscubuk

Elad Segal eladsegal

Elaine Shi elaineshiProfessor, CSD & ECE · Carnegie Mellon University

PhD studentsJoshua Gancher

Elanor Tang elanortangPhD · Carnegie Mellon University

PhD advisorBryan Parno

Master’sUniversity of Michigan

UndergraduateUniversity of Michigan

elanortang.github.io · 0000-0003-2144-1641

Elba Garza elbagarza

Eleanor Hagerman eleanorhagerman

Eleanor O’Rourke eleanororourke

Elena Caviglia elenacavigliaPostdoc in Mathematics · Stellenbosch University

PhD advisorFrank Neumann

PhDUniversity of Leicester

elenacaviglia.github.io · 0009-0002-4551-6150

Elena Di Lavore elenadilavoreResearch Associate · University of Oxford

PhDTallinn University of Technology

elenadilavore.github.io · 0000-0002-7783-5079

Éléonore Mangel eleonoremangelInstitut de Recherche en Informatique Fondamentale

0009-0001-2530-2318

Elie Bursztein elieburszteinSecurity and Anti-Abuse Research Lead · Google

PhDÉcole Normale Supérieure Paris-Saclay

Master’sUniversité Paris Cité

elie.net · 0000-0003-0316-6906

Eli Goldweber eligoldweber

Eliot Jones eliotjones

Elisabeth Stenholm elisabethstenholmUniversity of Bergen

0009-0001-5852-9594

Elizabeth Barnes elizabethbarnes

Elizabeth Donoway elizabethdonoway

Ellie Pavlick elliepavlickAssistant Professor of Computer Science and Linguistics · Brown University

PhD advisorChris Callison-Burch

PhDUniversity of Pennsylvania

cs.brown.edu/people/epavlick

El-Mahdi El-Mhamdi elmahdielmhamdi

Elsie Anna Grace Knowles elsieannagraceknowles

PhD advisorMathilde Vaerting

PhD studentsNorman Alfred Dudley

PhDFriedrich Schiller University Jena

Emanuele Rodola emanuelerodolaFull Professor of Computer Science · Sapienza University of Rome

PhD studentsAntonio Norelli, Luca Moschella

PostdocsSimone Melzi

gladia.di.uniroma1.it/authors/rodola

Emanuel Parzen emanuelparzen

PhD studentsGrace Wahba

Émile Borel emileborel

PhD studentsPaul Montel

Emily B. Levitan emilyblevitanProfessor · University of Alabama at Birmingham

0000-0002-5429-3852

Emily First emilyfirstAssistant Professor in Computer Science · Rutgers University–New Brunswick

PhD advisorYuriy Brun

Postdoc advisorSorin Lerner

PhDUniversity of Massachusetts Amherst

UndergraduateHarvey Mudd College

efirst.github.io · 0000-0002-2896-2928

Emily Huang emilyhuang

Emily Pillmore emilypillmore

Emily Riehl emilyriehlKelly Miller Professor of Mathematics · Johns Hopkins University

PhD advisorJ. Peter May

PhD studentsDavid Jaz Myers

PostdocsJonathan Weinberger

PhDUniversity of Chicago

Master’sUniversity of Chicago

UndergraduateHarvard University

emilyriehl.github.io · 0000-0002-8465-8859 · https://github.com/emilyriehl

Emily Ruppel emilyruppel

Emina Torlak eminatorlak

0000-0002-1155-2711

Emma Brunskill emmabrunskill

PhD studentsAllen Nie

Emma Lam emmalam

Emma Nardino emmanardinoPhD student · ENS de Lyon

perso.ens-lyon.fr/emma.nardino · 0009-0004-2942-8761

Emmanouil Giortamis emmanouilgiortamis

0009-0000-3638-2969

Emmanuel Osalotioman Osazuwa emmanuelosalotiomanosazuwa

https://github.com/Osalotioman

Emmanuel Suárez Acevedo emmanuelsuarezacevedoCornell University

Master’sUniversity of Pennsylvania

emmanuelsuarez.com · 0009-0002-5515-6099

Emma Tosch emmatoschNortheastern University

0000-0002-2333-8034

Enrico Marchioni enricomarchioni

0000-0002-1238-9186

Enric Rodríguez-Carbonell enricrodriguezcarbonell

Eric Boccaccio ericboccaccioUniversity of Michigan

Eric Bond ericbondPhD · University of Michigan

PhD advisorMax S. New

externalhom.com · 0009-0008-1575-9606 · bond15

Eric Chu ericchu

Eric Drexler ericdrexler

0000-0002-7309-1738

Eric Eide ericeide

Eric Giovannini ericgiovanniniPhD · University of Michigan

PhD advisorMax S. New

Master’sUniversity of Pennsylvania

UndergraduateRutgers University–New Brunswick

websites.umich.edu/~ericgio/index.html · 0009-0003-6871-1714

Eric Griffis ericgriffisPhD student · University of Michigan

PhD advisorCyrus Omar

Master’sUniversity of California, Los Angeles

UndergraduateUniversity of California, Los Angeles

dedbox.github.io · 0000-0003-1693-6172 · https://github.com/dedbox

Eric Mitchell ericmitchellPrinceton University

ericmitchell.ai · 0000-0002-7487-1744

Eric Nivel ericnivel

Eric Steegmans ericsteegmans

PhD advisorJohan Lewi

PhD studentsFrank Piessens

Eric Tang erictang

Éric Tanter erictanterUniversity of Chile

0000-0002-7359-890X

Eric Winsor ericwinsorUK AI Security Institute

0000-0003-1922-4648

Eric Zhao ericzhaoDoctoral student · Brown University

PhD advisorNikos Vasilakis, Robert Y. Lewis

UndergraduateUniversity of Michigan

mustardfox.org · 0009-0000-4969-2376 · https://github.com/mirryi

Erik Zawadzki erikzawadzki

Erkut Erdem erkuterdem

Ernie Chang erniechang

Ernst-Rüdiger Olderog ernstrudigerolderog

PhD advisorHans Langmaack

PhD studentsAndré Platzer

PhDChristian-Albrechts-Universität zu Kiel

Eryk Salvaggio eryksalvaggioUniversity of Cambridge

Master’sAustralian National University

cyberneticforests.com

Ethan A. Chi ethanachiFounder, Quadrillion · Quadrillion

UndergraduateStanford University

Ethan Cecchetti ethancecchetti

Ethan Dyer ethandyer

Ethan Fetaya ethanfetaya

Ethan Gabizon ethangabizonCornell University

UndergraduateCornell University

0009-0003-1580-807X

Ethan Jerzak ethanjerzak

Ethan Kim ethankim

Eugene Charniak eugenecharniak

PhD studentsGraeme Hirst

Eunice Engefu Manyasi euniceengefumanyasi

Evan Cavallo evancavalloPostdoc, Logic and Types group · University of Gothenburg

PhD advisorRobert Harper

Postdoc advisorAnders Mörtberg, Thierry Coquand

PhDCarnegie Mellon University

ecavallo.net · 0000-0001-8174-7496 · @ecavallo@mathstodon.xyz

Evelyne Contejean evelynecontejean

PhD advisorJean-Pierre Jouannaud

PhD studentsMohamed Iguernelala

PhDUniversité Paris-Sud

Evgenii Zheltonozhskii evgeniizheltonozhskiiPhysics PhD student · Technion Israel Institute of Technology

PhD advisorNetanel Lindner

Master’sTechnion Israel Institute of Technology

UndergraduateTechnion Israel Institute of Technology

evgeniizh.com · https://github.com/Randl · mastodon.social/evgeniizh

Exequiel Rivas exequielrivasTallinn University of Technology

PhDNational University of Rosario

0000-0002-2114-624X

Eytan Ruppin eytanruppin

PhD studentsJonathan Berant

Fabio Zanasi fabiozanasiUniversity College London

PhD advisorFilippo Bonchi

PhD studentsTobias Kappé

PhDÉcole Normale Supérieure de Lyon

fzanasi.github.io/personal · 0000-0001-6457-1345

Fabricio Murai fabriciomurai

Fabrizio Genovese fabriziogenovese

Fanyue Xia fanyuexia

Fan Zhang fanzhangAssistant Professor · Yale University

PhDCornell University

fanzhang.me · 0000-0002-8525-4514

Fan Zheng fanzheng

Farzad Jafarrahmani farzadjafarrahmani

Fatemeh Siar fatemehsiar

Faustyna Krawiec faustynakrawiec

cst.cam.ac.uk/people/fmk31 · 0000-0003-2410-7454

F. Benson fbenson

PhD studentsNorman Alfred Dudley

Felix Günther felixguntherIBM Research - Zurich

felixguenther.info · 0000-0002-8495-6610

Félix Sassus Bourda felixsassusbourdaStudent · École Normale Supérieure Paris-Saclay

0009-0007-7559-1326

Ferdinand Vesely ferdinandvesely

0000-0002-9628-2318

Fernando Martínez-Plumed fernandomartinezplumedAssociate Professor of Artificial Intelligence · Universitat Politècnica de València

PhDUniversitat Politècnica de València

Master’sUniversitat Politècnica de València

UndergraduateUniversitat Politècnica de València

nandomp.github.io · https://github.com/nandomp

Fernando Ovalle fernandoovalleProfessor · University of Alabama at Birmingham

0000-0002-6711-071X

Fernando Vaquerizo-Villar fernandovaquerizovillarUniversidad de Valladolid

PhDUniversidad de Valladolid

Master’sUniversidad de Valladolid

UndergraduateUniversidad de Valladolid

0000-0002-5898-2006

Filippo Bonchi filippobonchiUniversity of Pisa

PhD advisorUgo G. Montanari

PhD studentsFabio Zanasi

PhDUniversity of Pisa

0000-0002-3433-723X

Filip Sieczkowski filipsieczkowskiAssistant professor · University of Wrocław

PhDIT University of Copenhagen

Master’sUniversity of Wrocław

fsieczkowski.github.io · 0000-0001-5011-3458 · https://github.com/fsieczkowski/

F. Kübler fkubler

PostdocsViktor Winschel

Florian Kerschbaum floriankerschbaumUniversity of Waterloo

0000-0003-4288-2286

Florian Rabe florianrabeFAU Erlangen-Nürnberg

kwarc.info/frabe · 0000-0003-3040-3655

Florian Tramèr floriantramerETH Zurich

PhD advisorDan Boneh

PhD studentsJavier Rando

PhDStanford University

floriantramer.com

Floris van Doorn florisvandoornUniversity of Bonn

PhD advisorJeremy Avigad, Steve Awodey

Postdoc advisorPatrick Massot, Tom Hales

PhDCarnegie Mellon University

Master’sUtrecht University

UndergraduateUtrecht University

florisvandoorn.com · 0000-0003-2899-8565

Fosco Loregian foscoloregianTallinn University of Technology

PhDScuola Internazionale Superiore di Studi Avanzati

Master’sUniversity of Padua

tetrapharmakon.github.io · 0000-0003-3052-465X

Francesca Happé francescahappeProfessor of Cognitive Neuroscience · King’s College London

Francesco Locatello francescolocatelloInstitute of Science and Technology Austria

PhD studentsLuca Moschella

ista.ac.at/en/research/locatello-group

Francisco Rios franciscorios

Francois Chollet francoischolletCo-founder, Ndea and ARC Prize · Ndea

fchollet.com · https://github.com/fchollet

François Pottier francoispottier

PhD studentsArmaël Guéneau, Arthur Charguéraud

Frank Neumann frankneumann

PhD studentsElena Caviglia

Frank Pfenning frankpfenningProfessor of Computer Science · Carnegie Mellon University

PhD advisorPeter B. Andrews

PhD studentsBernardo Toninho, CB Aberle, Chris Martens, Henry DeYoung, Jana Dunfield, Noam Zeilberger, Rowan Davies

PhDCarnegie Mellon University

Master’sCarnegie Mellon University

Frank Piessens frankpiessensFull professor · KU Leuven

PhD advisorEric Steegmans, Pierre Verbaeten

PhD studentsAmin Timany, Thomas Van Strydonck

distrinet.cs.kuleuven.be/people/FrankPiessens · 0000-0001-5438-153X

Frank Wood frankwoodUniversity of British Columbia

Frans Kaashoek franskaashoek

PhD studentsUpamanyu Sharma

Fraser Brown fraserbrownCarnegie Mellon University

0009-0006-6601-7317

Frédéric Blanqui fredericblanquiResearcher · Inria

0000-0001-7438-5554

Frédéric Bour fredericbour

Frederic Brenton Fitch fredericbrentonfitch

PhD studentsWilliam Walker Tait

Frederic Sala fredericsalaUniversity of Wisconsin–Madison

PhD studentsNicholas Roberts

pages.cs.wisc.edu/~fredsala

Frederik Lerbjerg Aagaard frederiklerbjergaagaardPhD student · Aarhus University

Frédo Durand fredodurandMassachusetts Institute of Technology

PhD advisorClaude Puech, George Drettakis

PhD studentsJonathan Ragan-Kelley, Tzu-Mao Li

PhDUniversité Joseph Fourier Grenoble I

people.csail.mit.edu/fredo

Fredrik Nordvall Forsberg fredriknordvallforsberg

Frieda Rong friedarong

Frits Vaandrager fritsvaandragerHead of Department of Software Science · Radboud University

PhD advisorJan Bergstra

PostdocsTiago Ferreira

PhDUniversity of Amsterdam

cs.ru.nl/F.Vaandrager · 0000-0003-3955-1910

Fritz Henglein fritzhenglein

Fushuai Jiang fushuaijiangAssistant Professor of Mathematics · City University of Hong Kong

PhD advisorKevin Luli

Postdoc advisorRadu Balan, Wojciech Czaja

PhDUniversity of California, Davis

UndergraduateUniversity of California, Los Angeles

jfsmath.github.io · 0000-0003-2935-3873 · https://github.com/jfsmath

F. William Lawvere fwilliamlawvere

Gabe Dijkstra gabedijkstra

Gabe Fierro gabefierroColorado School of Mines

gtf.fyi · 0000-0002-2081-4525

Gabriel Alfour gabrielalfour

Gabrielle Smith gabriellesmith

Gabriel Ryan gabrielryan

Gabriel Scherer gabrielscherer

Gagandeep Singh gagandeepsingh

Gang Tan gangtan

Gaurav Mishra gauravmishra

Gauri Kambhatla gaurikambhatlaUniversity of Texas at Austin

Geneva M. Smith genevamsmithPostdoctoral Scholar · University of Waterloo

PhDMcMaster University

Master’sMcMaster University

0000-0002-6015-2589

Genta Indra Winata gentaindrawinataDirector of Applied Research, LLM Core and Agentic AI · Capital One

PhDHong Kong University of Science and Technology

UndergraduateBandung Institute of Technology

gentawinata.com · https://github.com/gentaiscool

Geoffrey Hinton geoffreyhintonEmeritus distinguished professor · University of Toronto

PhD advisorChristopher Longuet-Higgins

PhD studentsCarl E. Rasmussen, Richard Zemel, Ruslan Salakhutdinov

PhDUniversity of Edinburgh

UndergraduateUniversity of Cambridge

cs.toronto.edu/~hinton

Geoffrey Hulette geoffreyhuletteApplied Scientist · Amazon

Geoffrey Irving geoffreyirvingCofounder and Chief Scientist at Resolution · Resolution

PhDStanford University

UndergraduateCalifornia Institute of Technology

naml.us · https://github.com/girving

Geoffrey Litt geoffreylitt

0000-0003-0858-5165

Geoffrey S. H. Cruttwell geoffreyshcruttwellAssociate Professor · Mount Allison University

0000-0001-8742-6263

George Drettakis georgedrettakis

PhD studentsFrédo Durand

George Necula georgenecula

PhD studentsAdam Chlipala

Georges-Axel Jaloyan georgesaxeljaloyanAmazon

George William Whitehead, Jr. georgewilliamwhiteheadjr

PhD advisorNorman Earl Steenrod

PhD studentsJohn Coleman Moore

PhDUniversity of Chicago

Georgi Nakov georginakov

Georg Kreisel georgkreisel

PhD studentsHenk Barendregt

PhDUniversity of Cambridge

Georg Moser georgmoserFull Professor · Universität Innsbruck

tcs-informatik.uibk.ac.at · 0000-0001-9240-6128

Georg Struth georgstruth

Gerald Estrin geraldestrin

PhD studentsCarlos José Pereira de Lucena

Gerald Jay Sussman geraldjaysussman

PhD studentsGuy L. Steele Jr.

Gerard de Melo gerarddemeloHasso Plattner Institute

PhD studentsAbu Awal Md Shoeb

gerard.demelo.org

Gérard Huet gerardhuetDirecteur de Recherche émérite · Inria

PhD studentsChristine Paulin-Mohring, Thierry Coquand

pauillac.inria.fr/~huet

Gerardo Ortiz gerardoortizProfessor of Physics · Indiana University

0000-0003-3254-4494

Gerard Tabone gerardtabonePh.D. student · University of Malta

gerardtabone.com · 0000-0001-9047-061X · https://github.com/gertab/

Gerco van Heerdt gercovanheerdtUniversity College London

0000-0003-0669-6865

Gerhard Jäger gerhardjager

PostdocsUlrik Buchholtz

Germán Kruszewski germankruszewski

Giambattista Parascandolo giambattistaparascandolo

Giles Reger gilesregerLecturer · University of Manchester

0000-0001-6353-952X

Giorgi Giglemiani giorgigiglemiani

Giorgio Mariani giorgiomariani

Giovanni Paolini giovannipaolini

Girish Nadkarni girishnadkarni

0000-0001-6319-4314

Giuseppe Scollo giuseppescollo

PhD studentsEd Brinksma

G. A. Kavvos gkavvos

Gleb Makarchuk glebmakarchuk

Gloria Wang gloriawang

Glynn Winskel glynnwinskelProfessor · University of Cambridge

PhD advisorGordon Plotkin

PhD studentsHugo Paquet

PhDUniversity of Edinburgh

cl.cam.ac.uk/~gw104

Gongming Luo gongmingluo

Gonzalo Jaimovitch-López gonzalojaimovitchlopez

Gopal Sarma gopalsarma

0000-0002-9413-6202

Gordon Plotkin gordonplotkinProfessor · University of Edinburgh

PhD studentsGlynn Winskel, John Longley, Marcelo P. Fiore, Ohad Kammar

homepages.inf.ed.ac.uk/gdp

Grace Wahba gracewahbaEmerita IJ Schoenberg-Hilldale Professor of Statistics · University of Wisconsin–Madison

PhD advisorEmanuel Parzen

PhD studentsDouglas Nychka

PhDStanford University

pages.stat.wisc.edu/~wahba

Graeme Hirst graemehirstUniversity of Toronto

PhD advisorEugene Charniak

PhD studentsSaif M. Mohammad

PhDBrown University

cs.toronto.edu/~gh

Grant Cole grantcole

Greg Durrett gregdurrettNew York University

PhD advisorDan Klein

PhD studentsJiacheng Xu

PhDUniversity of California, Berkeley

cs.utexas.edu/~gdurrett

Greg Morrisett gregmorrisett

PhD studentsDan Grossman, Joshua Gancher

PostdocsAdam Chlipala

Gregor Betz gregorbetzProfessor of Philosophy of Science · Karlsruhe Institute of Technology

PhDFreie Universität Berlin

Master’sFreie Universität Berlin

gregorbetz.de · https://github.com/ggbetz

Gregory Croisdale gregorycroisdalePhD student · University of Michigan

UndergraduateUniversity of Tennessee at Knoxville

0000-0002-2180-963X

Gregory Malecha gregorymalechaDirector of Formal Methods · SkyLabs AI

PhDHarvard University

UndergraduateRice University

gmalecha.github.io · 0000-0003-3952-0807

Gregory Rosenblatt gregoryrosenblattData analyst · University of Alabama at Birmingham

UndergraduateRochester Institute of Technology

gregrosenblatt.com · 0009-0001-5924-8727 · https://github.com/gregr

Gregory S Stupp gregorysstuppScripps Research Institute

0000-0002-0644-7212

Griffin Berlstein griffinberlsteinPhD Student · Cornell University

griffinberlste.in · 0000-0001-5619-3647

Guido Martínez guidomartinezMicrosoft

0009-0005-5831-9991

Guillaume Allais guillaumeallais

Guillaume Boisseau guillaumeboisseauResearch Engineer · Institut national de recherche en sciences et technologies du numérique

PhDUniversity of Oxford

0000-0001-5244-893X

Guillaume Brunerie guillaumebrunerieDeveloper · ELK Studios

PhD advisorCarlos Simpson

PhDUniversité Nice Sophia Antipolis

guillaumebrunerie.github.io · https://github.com/guillaumebrunerie

Guillaume Corlouer guillaumecorlouerResearcher in AI interpretability

PhD advisorAnil Seth, Lionel Barnett

PhDUniversity of Sussex

gcorlouer.github.io

Guillaume Melquiond guillaumemelquiondInstitut national de recherche en sciences et technologies du numérique

0000-0002-6697-1809

Guillaume Munch-Maccagnoni guillaumemunchmaccagnoniInria

PhD advisorPierre-Louis Curien, Thomas Ehrhard

PhDUniversité Paris Diderot

guillaume.munch-maccagnoni.name · 0009-0001-7914-7165 · gadmm · @gadmm@mathstodon.xyz

Guy Gur-Ari guygurari

Guy L. Steele Jr. guylsteelejr

PhD advisorGerald Jay Sussman

PhD studentsPhilip Wadler

PhDMassachusetts Institute of Technology

Gyula Antal Mago gyulaantalmago

PhD advisorDavid John Wheeler

PhD studentsR. Kent Dybvig

PhDUniversity of Cambridge

Haas Leiß haaslei

Haim Gaifman haimgaifman

PhD advisorAlfred Tarski

PhD studentsArnon Avron

PhDUniversity of California, Berkeley

Håkon Robbestad Gylterud hakonrobbestadgylterud

hakon.gylterud.net · 0009-0009-9871-1110

Hammad Ahmad hammadahmad

Hana Galijasevic hanagalijasevic

Hananel Hazan hananelhazanResearch Scientist, Allen Discovery Center · Tufts University

PhDUniversity of Haifa

Master’sUniversity of Haifa

UndergraduateAshkelon Academic College

hananel.hazan.org.il · 0000-0003-1446-1628 · https://github.com/Hananel-Hazan

Hang Ji hangji

Hannah Kim hannahkim

Hannah Potter hannahpotterPhD Student · University of Washington

PhD advisorRené Just

Master’sUniversity of Michigan

UndergraduateUniversity of Utah

hannahpotter.github.io · 0000-0002-8502-1657

Hannah Rashkin hannahrashkin

Hannaneh Hajishirzi hannanehhajishirziTorode Family Professor · University of Washington

PostdocsDaniel Khashabi

PhDUniversity of Illinois at Urbana-Champaign

homes.cs.washington.edu/~hannaneh

Hans Bekić hansbekic

Hans Bugge Grathwohl hansbuggegrathwohl

PhD advisorLars Birkedal

PhDAarhus University

Hans Langmaack hanslangmaack

PhD advisorHeinrich Behnke

PhD studentsErnst-Rüdiger Olderog

PhDUniversity of Münster

Hans-Lukas Teuber hanslukasteuber

PhD studentsWhitman Richards

Hanxi Chen hanxichen

Haochen Zhang haochenzhang

0009-0009-6100-6696

Haojun Ma haojunma

Haoqi Zhang haoqizhangSouth China University of Technology

0000-0003-3363-7545

Hao Su haosu

PhD studentsMukund Varma T

Harald Husum haraldhusum

0009-0003-0634-7435

Harley Eades III harleyeadesAssociate Professor · Augusta University

metatheorem.org · heades · @heades@hci.social

Harrison Goldstein harrisongoldsteinAssistant Professor · University at Buffalo

harrisongoldste.in · 0000-0001-9631-1169

Harrison Grodin harrisongrodinPh.D. student, Principles of Programming group · Carnegie Mellon University

PhD advisorRobert Harper

UndergraduateCarnegie Mellon University

harrisongrodin.com · 0000-0002-0947-3520 · https://github.com/HarrisonGrodin · @HarrisonGrodin@mathstodon.xyz

Harsh Mehta harshmehta

Hayden Bogar haydenbogar

Hayden Cooreman haydencooreman

0009-0004-6082-4455

Hayley LeBlanc hayleyleblancUniversity of Texas at Austin

cs.utexas.edu/~hleblanc · 0000-0003-3680-496X

Heinrich Behnke heinrichbehnke

PhD studentsHans Langmaack

Helle H. Hansen hellehhansenAssociate Professor · University of Groningen

research.rug.nl/en/persons/9b1e9c84-5959-4ee7-9020-e8eb4d53d6d0 · 0000-0001-7061-1219

Hellmuth Kneser hellmuthkneser

PhD studentsKarl Nickel

Hemant Gouni hemantgouniPhD student · Carnegie Mellon University

UndergraduateUniversity of Minnesota

hgouni.com · 0009-0009-3888-8440 · @hgouni@hci.social

Henk Barendregt henkbarendregtRadboud University

PhD advisorDirk van Dalen, Georg Kreisel

PhD studentsHerman Geuvers

PhDUtrecht University

Master’sUtrecht University

Henning Basold henningbasold

Henning Urbat henningurbatPostdoctoral Researcher · FAU Erlangen-Nürnberg

www8.cs.fau.de/people/henning-urbat

Henri Cartan henricartan

PhD advisorPaul Montel

PhD studentsAdrien Douady

PhDEcole Normale Superieure

Henri Lebesgue henrilebesgue

PhD studentsPaul Montel

Henry Crain henrycrain

Henry DeYoung henrydeyoungAdjunct researcher, Computer Science Department · Carnegie Mellon University

PhD advisorFrank Pfenning

PhDCarnegie Mellon University

UndergraduateCarnegie Mellon University

cs.cmu.edu/~hdeyoung · 0000-0003-1649-9953

Henry Kautz henrykautzUniversity of Virginia

PhD advisorJames F. Allen

PhD studentsAshish Sabharwal

PhDUniversity of Rochester

henrykautz.com · 0000-0001-5219-2970 · https://github.com/HenryKautz

Henry Mercer henrymercerSoftware engineer · GitHub

Master’sUniversity of Cambridge

UndergraduateUniversity of Cambridge

henrymercer.name · 0000-0003-3844-9818 · https://github.com/henrymercer

Henry Shevlin henryshevlinPhilosopher · Google DeepMind

henryshevlin.com

Herman Geuvers hermangeuversProfessor (part-time) · Radboud University

PhD advisorHenk Barendregt

PhD studentsNiels van der Weide

PostdocsNiels van der Weide

PhDRadboud University

Master’sRadboud University

cs.ru.nl/~herman · 0000-0003-2522-2980

Hernán Ibarra Mejia hernanibarramejia

Hinrich Schütze hinrichschutzeChair of Computational Linguistics · Ludwig-Maximilians-Universität München

cis.lmu.de/schuetze

Hira Taqdees Syeda hirataqdeessyedaThe University of Melbourne

0000-0002-4923-3783

Hiromu Yakura hiromuyakura

Hiroshi Isozaki hiroshiisozakiInstitut de Mécanique et d’Ingénierie de Bordeaux

0000-0003-1514-1351

Hiroyuki Katsura hiroyukikatsuraResearch Associate · University of Cambridge

PhDThe University of Tokyo

Master’sThe University of Tokyo

UndergraduateThe University of Tokyo

hkatsura.net · 0000-0003-3420-4207

Hoang-Dung Tran hoangdungtran

Hoang-Hai Dang hoanghaidang

Hongfei Fu hongfeifu

Hongming Zhang hongmingzhang

Hongseok Yang hongseokyang

Hongwei Xi hongweixi

Horst Herrlich horstherrlich

Horst Luckhardt horstluckhardt

PhD advisorAlexander A. Peyerimhoff, Arnold Schmidt

PhD studentsUlrich Kohlenbach

PhDPhilipps University of Marburg

Hossein Hafezi hosseinhafeziPhD Student · New York University

0009-0001-1974-7708

Hossein Rastgoftar hosseinrastgoftarUniversity of Michigan

0000-0001-9212-7161

Hsiang-Shang Ko hsiangshangkoInstitute of Information Science, Academia Sinica

PhD advisorJeremy Gibbons

Postdoc advisorZhenjiang Hu

PhDUniversity of Oxford

UndergraduateNational Taiwan University

josh-hs-ko.github.io · https://github.com/josh-hs-ko

Hugh Christopher Longuet-Higgins hughchristopherlonguethiggins

PhD studentsMark Steedman

Hugh Mee Wong hughmeewong

Hugo Paquet hugopaquetChargé de recherche · Inria

PhD advisorGlynn Winskel

Postdoc advisorLuke Ong, Sam Staton

PhDUniversity of Cambridge

di.ens.fr/~hpaquet · 0000-0002-8192-0321

Ian Blumenfeld ianblumenfeldResearch Director · Two Six Technologies

Master’sUniversity of Pennsylvania

UndergraduateUniversity at Buffalo

0000-0003-2080-9790

Ian Miers ianmiersAssistant Professor of Computer Science · University of Maryland

PhD studentsMichael Rosenberg

PhDJohns Hopkins University

cs.umd.edu/~imiers · 0000-0002-8332-2368

Ian Ng ianng

Ian Stark ianstark

PhD studentsBob Atkey, Sam Lindley

Ian Voysey ianvoyseyResearch programmer · Carnegie Mellon University

cs.cmu.edu/~iev · 0000-0002-6041-2010 · https://github.com/ivoysey

Ian Wehrman ianwehrman

I. Cervesato icervesato

0000-0001-6329-3400

Ido Dagan idodaganBar-Ilan University

PhD advisorAlon Itai, Uzi Ornan

PhD studentsJonathan Berant

PhDTechnion Israel Institute of Technology

UndergraduateTechnion Israel Institute of Technology

u.cs.biu.ac.il/~dagan

Ilia Iliashenko iliailiashenko

iliailia.github.io · 0000-0002-9549-1003

Ilya Sergey ilyasergeyAssociate Professor · National University of Singapore

Master’sSt Petersburg University

ilyasergey.net · 0000-0003-4250-5392

Ines Santacruz Del Valle inessantacruzdelvalleBoston University

Ingrid C. Daubechies ingridcdaubechies

PhD studentsRadu Balan

Ioan Mackenzie James ioanmackenziejames

PhD studentsMichael J. Hopkins

Irving Ezra Segal irvingezrasegal

PhD advisorEinar Hille

PhD studentsJohn C. Baez

PhDYale University

Isaac Noble isaacnoble

Isil Dillig isildillig

PostdocsAnders Miltner

Isitha Subasinghe isithasubasingheResearch Assistant · UNSW Sydney

0009-0001-2401-1682

Ivan Evtimov ivanevtimov

Ivan Titov ivantitovUniversity of Edinburgh

PhD advisorJames Henderson

Postdoc advisorDan Roth

PhD studentsDenis Emelin

PhDUniversity of Geneva

Master’sSt. Petersburg State Polytechnical University

UndergraduateSt. Petersburg State Polytechnical University

Ivan Wei ivanweiUniversity of Michigan

0009-0004-0286-2808

Iwan Quémerais iwanquemeraisÉcole Normale Supérieure de Lyon

0009-0006-8916-3093

Jaap Jumelet jaapjumeletPost-doc · University of Groningen

PhD advisorJelle Zuidema

Postdoc advisorArianna Bisazza

PhDUniversity of Amsterdam

jumelet.ai · https://github.com/jumelet

Jack Czenszak jackczenszakPh.D. Student · Yale University

jackczenszak.dev · 0009-0008-3242-6969

Jack Geissinger jackgeissinger

Jackie Brunson jackiebrunson

Jack Liell-Cock jackliellcockPhD Student · University of Oxford

UndergraduateThe University of Sydney

0009-0005-7121-8095

Jack Minker jackminker

PhD advisorBernard Epstein

PhD studentsChitta Baral

PhDUniversity of Pennsylvania

Jack Silver jacksilver

PhD studentsJeremy Avigad

Jackson Kernion jacksonkernion

Jacob Goldberger jacobgoldbergerProf., Faculty of Engineering · Bar-Ilan University

PhD studentsJonathan Berant

eng.biu.ac.il/goldbej

Jacob Hilton jacobhilton

Jacob Merizian jacobmerizian

Jacob Metcalf jacobmetcalf

Jacob R. Lorch jacobrlorchSenior Principal Researcher, Systems Group · Microsoft Research

PhD advisorAlan Jay Smith

PhDUniversity of California, Berkeley

Master’sUniversity of California, Berkeley

UndergraduateMichigan State University

jaylorch.net · 0000-0002-7269-2769

Jacob Steinhardt jacobsteinhardtAssociate Professor of Statistics and EECS · University of California, Berkeley

PhD advisorPercy Liang

PhD studentsDan Hendrycks

jsteinhardt.stat.berkeley.edu

Jacob White jacobwhiteGraduate Research Assistant · Los Alamos National Laboratory

Master’sPurdue University West Lafayette

UndergraduatePurdue University West Lafayette

cs.purdue.edu/homes/white570 · 0000-0002-6850-2133

Jaco Geldenhuys jacogeldenhuysAssociate Professor · Stellenbosch University

cs.sun.ac.za/~jaco · 0000-0002-5636-6656

Jacqueline Mitchell jacquelinemitchell

Jacques Carette jacquescaretteProfessor · McMaster University

PhD advisorAdrien Douady, John Hamal Hubbard

PhD studentsReed Mullanix, Yasmine Sharoda

PhDUniversité Paris-Sud

Master’sUniversité de Montréal

UndergraduateUniversity of Waterloo

cas.mcmaster.ca/~carette · 0000-0001-8993-9804 · JacquesCarette

Jacques-Henri Jourdan jacqueshenrijourdan

Jad Elkhaleq Ghalayini jadelkhaleqghalayiniPhD student · University of Cambridge

PhD advisorNeel Krishnaswami

tekne.dev · 0000-0002-6905-1303 · https://github.com/imbrem

Jade Master jademaster

Jad Hamza jadhamza

Jaehoon Lee jaehoonlee

Jaime Fernández Fisac jaimefernandezfisacAssistant Professor, Electrical Engineering · Princeton University

PhDUniversity of California, Berkeley

Master’sCranfield University

UndergraduateUniversidad Politécnica de Madrid

0000-0002-2676-5090

Jairo Miguel Marulanda-Giraldo jairomiguelmarulandagiraldoUniversity of Southampton

Jakob Rath jakobrathUHV-Expert, Surface Science (XPS, SAMS, ToF-SIMS,..) · TU Wien

Master’sUniversity of Vienna

0000-0002-7022-6668

James Bornholt jamesbornholtSenior Principal Engineer, S3 · Amazon Web Services

PhDUniversity of Washington

UndergraduateAustralian National University

jamesbornholt.com · 0000-0002-3258-3226 · https://github.com/jamesbornholt

James B. Simon jamesbsimon

James Chapman jameschapmanSoftware Engineer · IOHK

PhD studentsNiccolò Veltri

jmchapman.io · 0000-0001-9036-8252

James F. Allen jamesfallen

PhD studentsHenry Kautz

James Harold McClellan jamesharoldmcclellan

PhD studentsVolkan Cevher

James Henderson jameshenderson

PhD studentsIvan Titov

James Koppel jameskoppelFounding Partner · Mirdin

PhD advisorArmando Solar-Lezama

PhDMassachusetts Institute of Technology

jameskoppel.com · https://github.com/jkoppel

James McCann jamesmccannAssociate Professor · Carnegie Mellon University

PhDCarnegie Mellon University

UndergraduateUniversity of Michigan

cs.cmu.edu/~jmccann · 0000-0002-4231-4142

James McKinna jamesmckinnaHeriot-Watt University

PhD advisorRodney Martineau Burstall

PhDUniversity of Edinburgh

hw.ac.uk/profiles/uk/school/macs/faculty/james-mckinna · 0000-0001-6745-2560

James R. Wilcox jamesrwilcoxUniversity of Washington

PhDUniversity of Washington

Master’sUniversity of Washington

UndergraduateWilliams College

jamesrwilcox.com · 0000-0003-3182-2093

James Wood jameswoodSenior Engineer · Huawei Technologies

0000-0002-8080-3350

James Zheng jameszheng

James Zou jameszou

Jamie Vicary jamievicaryUniversity of Cambridge

PhD advisorChris Isham

PhD studentsAntonin Delpeuch

PhDImperial College London

UndergraduateUniversity of Oxford

cl.cam.ac.uk/~jv258

Jana Dunfield janadunfieldAssociate Professor, School of Computing · Queen’s University

PhD advisorFrank Pfenning

PhD studentsDimitrios J. Economou

PhDCarnegie Mellon University

research.cs.queensu.ca/home/jana · 0000-0002-3718-3395

Jana Thompson janathompson

Jana Wagemaker janawagemakerAssistant Professor, Software Science Group · Radboud University

PhD advisorAlexandra Silva, Jurriaan Rot

Postdoc advisorAntonis Achilleos, Luca Aceto

PhDRadboud University

janawagemaker.github.io · 0000-0002-8616-3905

Jan Bergstra janbergstra

PhD advisorDirk van Dalen

PhD studentsFrits Vaandrager

PhDUtrecht University

Janelle Wingfield janellewingfield

Jane Tangen janetangen

Jan Hoffmann janhoffmannCarnegie Mellon University

0000-0001-8326-0788

Jan Kocoń jankoconResearch Assistant Professor · Wrocław University of Science and Technology

PhDWrocław University of Science and Technology

Master’sWrocław University of Science and Technology

UndergraduateWrocław University of Science and Technology

0000-0002-7665-6896

Jannatul Chhoa jannatulchhoaUniversity of Houston

Master’sUniversity of Southern Mississippi

0000-0002-2026-7111

Jan Rutten janrutten

PhD studentsAlexandra Silva

Jan Schwinghammer janschwinghammer

Janusz A. Brzozowski januszbrzozowski

Jan Vitek janvitekNortheastern University

Jared Chandler jaredchandlerDartmouth College

0009-0008-7840-5215

Jared Kaplan jaredkaplan

Jared Ziegler jaredziegler

Jarema Radom jaremaradom

Jascha Sohl-Dickstein jaschasohldicksteinMember of technical staff · Anthropic

PhD advisorBruno Olshausen

PhDUniversity of California, Berkeley

sohldickstein.com

Jasmin Blanchette jasminblanchette

PhD studentsMartin Dvorak

Jason Balaci jasonbalaciPhD Candidate · McMaster University

0009-0001-3033-4170

Jason Michael Eisner jasonmichaeleisner

PhD studentsNoah Smith, Ryan Cotterell

Jason Nieh jasonnieh

Jason Phang jasonphangOpenAI

PhD advisorSamuel R. Bowman

PhDNew York University

Master’sNew York University

UndergraduateUniversity of Chicago

jasonphang.com · https://github.com/zphang

Jason Wei jasonweiMeta Superintelligence Labs

Jason Yosinski jasonyosinskiApical Intelligence

PhDCornell University

yosinski.com · https://github.com/yosinski

Jason Z. S. Hu jasonzshuApplied Scientist II · Amazon

PhDMcGill University

Master’sUniversity of Waterloo

UndergraduateFudan University

hustmphrrr.github.io · 0000-0001-6710-6262

Jasper Geer jaspergeerUniversity of British Columbia

0009-0006-6839-2305

Javier Rando javierrandoAnthropic

PhD advisorFlorian Tramèr

Master’sETH Zurich

UndergraduateUniversitat Pompeu Fabra

javirando.com · https://github.com/javirandor

Jay Bosamiya jaybosamiyaSenior Researcher · Microsoft Research

PhD advisorBryan Parno

PhDCarnegie Mellon University

UndergraduateIndian Institute of Technology Roorkee

jaybosamiya.com · 0000-0002-5596-6828 · https://github.com/jaybosamiya/ · @jaybosamiya@mastodon.online

Jay Earley jayearley

Jay McCarthy jaymccarthy

PhDBrown University

UndergraduateUniversity of Massachusetts Lowell

jeapostrophe.github.io · jeapostrophe

Jean-Baptiste Jeannin jeanbaptistejeanninAssociate Professor · University of Michigan

PhD advisorDexter Kozen

Postdoc advisorAndré Platzer

PhD studentsJiawei Chen, Mohit Tekriwal, Nishant Kheterpal, Serra Dane, Yichen Tao, Yonathan Fisseha

PhDCornell University

public.websites.umich.edu/~jeannin · 0000-0001-6378-1447

Jean-Baptiste Tristan jeanbaptistetristanPrincipal Applied Scientist · Amazon Web Services

PhDUniversité Paris Diderot

Master’sEcole Normale Superieure

UndergraduateUniversité Paris Diderot

jtristan.github.io · 0000-0003-2574-7883

Jean Caspar jeancaspar

Jean-Christophe Filliâtre jeanchristophefilliatreUniversité Paris Saclay

PhD advisorChristine Paulin-Mohring

PhD studentsLéon Gondelman, Mário Pereira

PhDUniversité Paris-Sud

usr.lmf.cnrs.fr/~jcf · https://github.com/backtracking

Jean-Jacques Lévy jeanjacqueslevyDirecteur de recherche émérite · Inria

PhD advisorMaurice Paul Nivat

PhD studentsSylvain Conchon

PhDUniversité Paris Diderot

pauillac.inria.fr/~levy

Jeanne-Marie Musca jeannemariemusca

Jean Pichon-Pharabod jeanpichonpharabodTenure-track assistant professor · Aarhus University

PhD advisorPeter Sewell

PhDUniversity of Cambridge

jeanpichon.github.io · 0000-0002-4442-6543

Jean-Pierre Jouannaud jeanpierrejouannaudProfessor Emeritus · Université Paris-Sud

PhD advisorCésar Macchi

PhD studentsClaude Kirchner, Evelyne Contejean

PhDUniversité Pierre-et-Marie-Curie (Paris VI)

Master’sUniversité Pierre-et-Marie-Curie (Paris VI)

0000-0003-4790-9927

Jean-Yves Girard jeanyvesgirard

PhD studentsThomas Seiller

Jeehoon Kang jeehoonkang

Jeff Henrikson jeffhenrikson

Jeffrey S. Foster jeffreysfosterTufts University

cs.tufts.edu/~jfoster · 0000-0001-8043-1166

Jekaterina Novikova jekaterinanovikovaPrincipal AI Research Scientist · Vanguard

jeknov.github.io · 0000-0003-4754-6126 · https://github.com/jeknov

Jelle Bosscher jellebosscher

Jelle Zuidema jellezuidemaUniversity of Amsterdam

PhD studentsDieuwke Hupkes, Jaap Jumelet

staff.fnwi.uva.nl/w.zuidema

Jenna L. Wise jennalwiseAssistant Professor · Purdue University West Lafayette

PhD advisorJonathan Aldrich, Joshua Sunshine

PhDCarnegie Mellon University

UndergraduateYoungstown State University

jennalwise.github.io · https://github.com/jennalwise

Jenna Wiens jennawiensUniversity of Michigan

PhD advisorJohn Vogel Guttag

PhD studentsTrenton Chang

PhDMassachusetts Institute of Technology

web.eecs.umich.edu/~wiensj

Jennifer Marsh jennifermarsh

Jeremy Avigad jeremyavigadProfessor · Carnegie Mellon University

PhD advisorJack Silver

PhD studentsFloris van Doorn

PhDUniversity of California, Berkeley

UndergraduateHarvard University

andrew.cmu.edu/user/avigad · 0000-0003-1275-315X

Jeremy Gibbons jeremygibbonsProfessor of Computing · University of Oxford

PhD advisorRichard Bird

PhD studentsHsiang-Shang Ko

PhDUniversity of Oxford

cs.ox.ac.uk/people/jeremy.gibbons · 0000-0002-8426-9917 · @jer_gib@functional.cafe

Jeremy Kim jeremykim

Jérémy Ledent jeremyledentUniversité Paris Cité

irif.fr/~ledent · 0000-0001-7375-4725

Jérémy Scanvic jeremyscanvicPhD candidate · ENS de Lyon

jeremyscanvic.com

Jeremy Yallop jeremyyallop

Jeroen Taal jeroentaal

Jerome Wynne jeromewynne

Jerry Swan jerryswanOllscoil na Gaillimhe – University of Galway

0000-0003-1944-7147

Jesper Cockx jespercockxAssistant Professor · Delft University of Technology

jesper.cx · jespercockx · @agdakx@types.pl

Jesse Engel jesseengel

Jesse Slater jesseslaterUniversity of Michigan

Jessica Shi jessicashiUniversity of Maryland, College Park

0000-0002-1507-1122

Jesujoba Alabi jesujobaalabi

J. Garrett Morris jgarrettmorrisAssistant professor · University of Iowa

PhDPortland State University

jgbm.github.io · 0000-0002-3992-1080

Jiacheng Xu jiachengxuResearch scientist · Salesforce AI Research

PhD advisorGreg Durrett

PhDUniversity of Texas at Austin

UndergraduateFudan University

jiacheng-xu.github.io

Jialun Zhang jialunzhang

Jiaming Jiang jiamingjiang

dblp.org/pid/168/2078.html

Jiaming Song jiamingsongFormer Chief Scientist at Luma AI

Postdoc advisorStefano Ermon

PhDStanford University

tsong.me · https://github.com/jiamings

Jianan Yao jiananyao

Jianyu Zhang jianyuzhang

Jiawei Chen jiaweichenPhD · University of Michigan

PhD advisorJean-Baptiste Jeannin

PhDUniversity of Michigan

Master’sUniversity of Michigan

UndergraduateIndiana University Bloomington

jchenrobotics.com · 0000-0002-5461-6711 · https://github.com/jchen-cs

Jiayi Zhou jiayizhouNortheastern University

0009-0003-9845-6996

Jiayuan Gu jiayuanguShanghaiTech University

jiayuan-gu.github.io · 0000-0002-3207-7921

Jihye Choi jihyechoiPhD Candidate · University of Wisconsin–Madison

0009-0000-9719-3758

Jilin Hu jilinhu

Jillian Tang jilliantang

Jim Gust jimgust

Joachim Breitner joachimbreitnerPrincipal Research Software Engineer · Lean FRO

joachim-breitner.de · 0000-0003-3753-6821 · @nomeata@mastodon.online

Joachim Lambek joachimlambek

Joan Waweru joanwaweru

João F. Ferreira joaofferreiraUniversidade do Porto

PhDUniversity of Nottingham

Master’sUniversidade do Minho

joaoff.com · 0000-0002-6612-9013

Joe Bolt joebolt

Joe Carter joecarter

Joe Gibbs Politz joegibbspolitzUniversity of California San Diego

0000-0003-1565-2362

Joe Moeller joemoellerPostdoctoral Scholar · California Institute of Technology

PhD advisorJohn C. Baez

PhDUniversity of California, Riverside

Master’sUniversity of California, Riverside

UndergraduateUniversity of California, Riverside

joe-moeller.com · 0000-0002-5306-3502

Johan F. A. K. van Benthem johanfakvanbenthem

PhD studentsMaarten de Rijke

Johan Jeuring johanjeuring

0000-0001-5645-7681

Johan Lewi johanlewi

PhD studentsEric Steegmans

Johanna Schwartzentruber johannaschwartzentruberAmazon

Johannes Hartmann johanneshartmannUniversity of Oxford

Master’sTechnical University of Darmstadt

0000-0003-2671-4194

Johannes C. Myburgh johannesmyburgh

John Altidor johnaltidor

John Bacher johnbacherNorth Carolina State University

0000-0002-8398-4185

John Burden johnburden

John C. Baez johncbaezMaxwell Fellow of Public Engagement · University of Edinburgh

PhD advisorIrving Ezra Segal

PhD studentsJoe Moeller

PhDMassachusetts Institute of Technology

UndergraduatePrinceton University

math.ucr.edu/home/baez · 0000-0002-0609-9836 · @johncarlosbaez@mathstodon.xyz

John C. Duchi johncduchiAssociate Professor of Statistics and Electrical Engineering · Stanford University

PostdocsTatsunori Hashimoto

web.stanford.edu/~jduchi

John C. Mitchell johncmitchell

PhD studentsKathleen Fisher

John Coleman Moore johncolemanmoore

PhD advisorGeorge William Whitehead, Jr.

PhD studentsJ. Peter May

PhDBrown University

John Darlington johndarlington

PhD advisorRodney Martineau Burstall

PhD studentsLuke Ong

PhDUniversity of Edinburgh

John Edward H. Hopcroft johnedwardhhopcroft

PhD studentsDaniela Rus

John Foley johnfoley

John Hamal Hubbard johnhamalhubbardProfessor Emeritus · Cornell University

PhD advisorAdrien Douady

PhD studentsJacques Carette

PhDUniversité Paris Cité

UndergraduateHarvard University

math.cornell.edu/john-h-hubbard

John Joon Young Chung johnjoonyoungchungResearch scientist · Midjourney

johnr0.github.io

John Lafferty johnlafferty

PhD studentsChengXiang Zhai

John Launchbury johnlaunchburyChief Scientist · Galois, Inc.

PhDUniversity of Glasgow

Master’sUniversity of Oxford

UndergraduateUniversity of Oxford

0009-0009-7275-2811

John Leo johnleoIndependent researcher · Halfaya Research

halfaya.org/leo · https://github.com/halfaya/

John Li johnliPhD · Northeastern University

PhD advisorAmal Ahmed, Steven Holtzen

Master’sPrinceton University

UndergraduatePrinceton University

johnm.li · 0000-0003-2130-5092 · john-ml · @johnli@mathstodon.xyz

John Longley johnlongleyUniversity of Edinburgh

PhD advisorGordon Plotkin, Michael Paul Fourman

PhD studentsDaniel Hillerström

PhDUniversity of Edinburgh

homepages.inf.ed.ac.uk/jrl

John Miller johnmiller

John Osborne johnosborneAssociate Professor · University of Alabama at Birmingham

PhDUniversity of Alabama at Birmingham

Master’sUniversity of Alberta

UndergraduateUniversity of Victoria

scholars.uab.edu/4993-john-osborne · 0000-0002-0851-1150

John Paul Koenig johnpaulkoenig

A. John Power johnpower

John Regehr johnregehr

John Reppy johnreppy

John C. Reynolds johnreynolds

PhD studentsNeel Krishnaswami

Johnson He johnsonhePhD · Indiana University

Master’sUniversity of Michigan

UndergraduateUniversity of Michigan

hejohns.github.io/forest/index/index.xml · hejohns

John U. Balis johnubalis

John Vogel Guttag johnvogelguttag

PhD studentsJenna Wiens

Jonah Rosenblum jonahrosenblumPhD · University of Michigan

PhD advisorSatish Narayanasamy

PhDUniversity of Michigan

Master’sUniversity of Michigan

UndergraduateUniversity of Michigan

jonahrosenblum.com · 0009-0006-4755-9575 · jonahrosenblum

Jonáš Fiala jonasfialaETH Zurich

0009-0001-2121-7044

Jonas Kastberg Hinrichsen jonaskastberghinrichsenAssistant Professor · Aalborg University

PhDIT University of Copenhagen

jihgfee.github.io · 0000-0001-6143-9031

Jonathan Aldrich jonathanaldrichProfessor · Carnegie Mellon University

PhD advisorCraig Chambers, David Notkin

PhD studentsCyrus Omar, Jenna L. Wise, Michael Coblenz, Neel Krishnaswami

PostdocsCyrus Omar

PhDUniversity of Washington

Master’sUniversity of Washington

UndergraduateCalifornia Institute of Technology

cs.cmu.edu/~aldrich · 0000-0003-0631-5591

Jonathan Balkind jonathanbalkindAssociate Professor · University of California, Santa Barbara

0000-0003-1443-1373

Jonathan Batchelder jonathanbatchelder

Jonathan Berant jonathanberantAssociate Professor · Tel Aviv University

PhD advisorEytan Ruppin, Ido Dagan, Jacob Goldberger

Postdoc advisorChristopher D. Manning, Percy Liang

PhDTel Aviv University

cs.tau.ac.il/~joberant

Jonathan Chan jonathanchanPhD · University of Pennsylvania

PhD advisorStephanie Weirich

Master’sUniversity of British Columbia

UndergraduateUniversity of British Columbia

ionathan.ch · 0000-0003-0830-3180 · ionathanch · @ionchy@types.pl

Jonathan DiLorenzo jonathandilorenzo

Jonathan Katz jonathankatzProfessor · Google

PhD advisorMoti Yung, Zvi Galil

PhD studentsMichael Rosenberg

PhDColumbia University

Master’sColumbia University

UndergraduateMassachusetts Institute of Technology

cs.umd.edu/~jkatz · 0000-0001-6084-9303

Jonathan M. McCune jonathanmmccuneSoftware Engineer, Google Security Team · Google

PhD advisorAdrian Perrig, Michael K. Reiter

PhDCarnegie Mellon University

Master’sCarnegie Mellon University

UndergraduateUniversity of Virginia

Jonathan Ragan-Kelley jonathanragankelleyAssociate Professor · Massachusetts Institute of Technology

PhD advisorFrédo Durand, Saman Amarasinghe

Postdoc advisorMark Horowitz, Pat Hanrahan

PhD studentsKartik Chandra

PostdocsTzu-Mao Li

PhDMassachusetts Institute of Technology

Master’sMassachusetts Institute of Technology

people.csail.mit.edu/jrk

Jonathan Weinberger jonathanweinbergerAssistant Professor in computer science and mathematics · Chapman University

PhD advisorThomas Streicher

Postdoc advisorBenedikt Ahrens, Emily Riehl, Viktoriya Ozornova

PhDTechnical University of Darmstadt

Master’sTechnical University of Darmstadt

UndergraduateTechnical University of Darmstadt

sites.google.com/view/jonathanweinberger · 0000-0003-4701-3207 · https://github.com/jonweinb

Jon Aytac jonaytac

0000-0002-9734-5747

Jon Howell jonhowellResearcher · VMware Research

PhD advisorDavid Kotz

PhDDartmouth College

UndergraduateUniversity of Puget Sound

jonh.net/~jonh/cv · 0000-0002-1781-2473

Jon Sterling jonmsterlingAssociate Professor · University of Cambridge

PhD advisorRobert Harper

Postdoc advisorLars Birkedal

PostdocsAndrew Slattery

PhDCarnegie Mellon University

Associate Professor in Logical Foundations and Formal Methods at University of Cambridge.

jonmsterling.com · 0000-0002-0585-5564 · jonsterling · @jonmsterling@mathstodon.xyz

Joost-Pieter Katoen joostpieterkatoenFull Professor, Computer Science · RWTH Aachen University

PhD advisorChris Vissers, Ed Brinksma

PhD studentsKevin Batz

PhDUniversity of Twente

Master’sUniversity of Twente

0000-0002-6143-1926

Joost Winter joostwinter

Jordan Pettyjohn jordanpettyjohn

Jörg Frohberg jorgfrohberg

Jose Brox josebroxUniversidad de Valladolid

Jose Hernandez-Orallo josehernandezoralloUniversitat Politècnica de València

josephorallo.webs.upv.es

José Luiz Vargas de Mendonça joseluizvargasdemendoncaUniversity of Michigan

0000-0002-1576-2492

Joseph Boudeman josephboudeman

Joseph Eremondi josepheremondiAssistant Professor · University of Regina

PhDUniversity of British Columbia

eremondi.com · 0000-0002-9631-4826

Joseph Guerr josephguerr

Joseph Jones josephjones

Joseph Tassarotti josephtassarotti

PhD studentsMarkus de Medeiros

PostdocsSimon Oddershede Gregersen

Josep Torrellas joseptorrellas

PhD studentsLuis Ceze

Joshua Cohen joshuacohen

0000-0001-8743-2233

Joshua Gancher joshuagancherAssistant Professor · Northeastern University

PhD advisorElaine Shi, Greg Morrisett

Postdoc advisorBryan Parno

PhDCornell University

UndergraduateReed College

gancher.dev · 0000-0003-2257-7073

Joshua H. Glottmann joshuahglottmannFederal Aviation Administration

Joshua Hibschman joshuahibschman

Joshua Miller joshuamillerProfessor · University of Georgia

0000-0003-1280-2863

Joshua S. Rule joshuasrule

joshrule.com · https://github.com/joshrule

Joshua Sunshine joshuasunshineAssociate Professor of Computer Science · Carnegie Mellon University

PhD studentsJenna L. Wise

PhDCarnegie Mellon University

UndergraduateBrandeis University

cs.cmu.edu/~jssunshi · 0000-0002-9672-5297 · https://github.com/joshsunshine

Joshua Tan joshuatanExecutive Director · Metagov

Master’sNew York University

UndergraduateYale University

joshuatan.com/research · 0000-0001-5317-4782

Joshua Tenenbaum joshuatenenbaumProfessor of Computational Cognitive Science · Massachusetts Institute of Technology

PhD advisorWhitman Richards

PhD studentsAndreas Stuhlmüller, Kartik Chandra

PhDMassachusetts Institute of Technology

UndergraduateYale University

cocosci.mit.edu/josh

Joshua Wrigley joshuawrigley

Jos Rozen josrozen

Josselin Poiret josselinpoiret

Joyce Chua joycechua

J. Peter May jpetermayProfessor · University of Chicago

PhD advisorJohn Coleman Moore

PhD studentsEmily Riehl, Michael Shulman, Sanjeevi Krishnan

PhDPrinceton University

UndergraduateSwarthmore College

math.uchicago.edu/~may

J. Tanner Slagel jtannerslagelLangley Research Center

0000-0003-1362-1976

J. T. Paasch jtpaaschAdjunct Professor · Georgetown University

UndergraduateUtah State University

0000-0002-7442-9411

Judith Degen judithdegen

PhD studentsSebastian Schuster

Juechu Dong juechudongPhD Candidate · University of Michigan

UndergraduateUniversity of Michigan

joydddd.github.io · 0000-0002-8855-9962

Juha Tuomas Karhunen juhatuomaskarhunen

PhD studentsKyunghyun Cho

Jules Hedges juleshedgesIndependent researcher · Glasgow Lab for AI Verification

PhD advisorEdmund Robinson, Paulo Oliva

PhDQueen Mary University of London

julesh.com · jules-hedges

Jules Jacobs julesjacobsAssistant Professor in Computer Science · ETH Zurich

PhD advisorRobbert Krebbers, Stephanie Balzer

Postdoc advisorAlexandra Silva, Nate Foster

PhDRadboud University

julesjacobs.com · 0000-0003-1976-3182 · https://github.com/julesjacobs

Julia Hesse juliahesseIBM Research - Europe

0000-0002-2875-6198

Julia Kiseleva juliakiseleva

PhD studentsMaartje ter Hoeve

Julian Loss julianloss

0000-0002-7979-3810

Julian Pritzi julianpritziTechnical University of Munich

Master’sTechnical University of Munich

UndergraduateTechnical University of Munich

0009-0000-6332-0448

Julien Courtiel juliencourtielmaître de conférences · GREYC

0000-0002-3441-2818

Jun-Cheng Wei junchengweiCanada Research Chair · University of British Columbia

0000-0001-5262-477X

June Hyung Kim junehyungkimPhD Student · University of California, Irvine

0009-0005-0820-9532

June Rousseau junerousseauAarhus University

junerousseau.github.io · 0009-0003-6778-6597

Jun’ichi Tsujii junichitsujii

Junyoung Jang junyoungjangPh.D. student in Computer Science · McGill University

Master’sMcGill University

UndergraduateSeoul National University

ailrun.github.io/en · 0000-0001-6338-2155 · https://github.com/Ailrun

Jurriaan Rot jurriaanrot

PhD studentsCass Alexandru, Jana Wagemaker

PostdocsTiago Ferreira

Justine Frank justinefrankPhD · University of Maryland, College Park

PhD advisorMilijana Surbatovich

UndergraduateUniversity of British Columbia

laelath.github.io · 0009-0007-7024-7331 · laelath · @justinefrank@types.pl

Justin Hsu justinhsuAssistant Professor · Cornell University

PhDUniversity of Pennsylvania

Justin Lubin justinlubin

jlubin.net · 0000-0003-2311-1873

Justin Wang justinwang

Justus Fasse justusfasseKU Leuven

0009-0006-7383-7866

K. Adam kadam

PostdocsViktor Winschel

Kai Qiu kaiqiu

Kaiwen He kaiwenhe

0000-0001-5510-6409

Kaiying O’Hare kaiyingohare

0000-0002-4047-6906

Kamalika Chaudhuri kamalikachaudhuriGoogle DeepMind

cseweb.ucsd.edu/~kamalika

Kamil Kanclerz kamilkanclerz

Karem A. Sakallah karemsakallah

Karen Livescu karenlivescuProfessor · Toyota Technological Institute at Chicago

PhD studentsShubham Toshniwal

PhDMassachusetts Institute of Technology

home.ttic.edu/~klivescu · 0000-0003-4962-946X

Karen Yeats karenyeatsProfessor · University of Waterloo

PhDBoston University

math.uwaterloo.ca/~kayeats · 0000-0003-0347-6525

Karl Crary karlcraryCarnegie Mellon University

PhD advisorRobert Lee Constable

PhD studentsChris Martens

PhDCornell University

cs.cmu.edu/~crary · 0000-0002-1556-2183

Karl Krauth karlkrauth

Karl Nickel karlnickel

PhD advisorHellmuth Kneser

PhD studentsOtto Mayer

PhDEberhard-Karls-Universität Tübingen

Karl Palmskog karlpalmskogKTH Royal Institute of Technology

Karol Borsuk karolborsuk

PhD studentsSamuel Eilenberg

Karthik Gopalakrishnan karthikgopalakrishnan

Kartik Chandra kartikchandraMIT Computer Science and Artificial Intelligence Laboratory

PhD advisorJonathan Ragan-Kelley, Joshua Tenenbaum

UndergraduateStanford University

cs.stanford.edu/~kach · https://github.com/kach · @kach@mastodon.mit.edu

Kasper Svendsen kaspersvendsen

Kasra A Vand kasraavandIndiana University Indianapolis

Katerina Ignatyeva katerinaignatyeva

Kat He kathe

Katherine Heller katherineheller

Katherine M. Collins katherinemcollins

Katherine Wu katherinewu

Kathleen Fisher kathleenfisherChief Executive Officer · Advanced Research and Invention Agency (ARIA)

PhD advisorJohn C. Mitchell

PhDStanford University

UndergraduateStanford University

kathleenfisher.org · 0000-0001-5249-2615

Kathleen Rose McKeown kathleenrosemckeown

PhD studentsDragomir Radev, Regina Barzilay

Katie Mancini katiemancini

Katja Markert katjamarkertProfessor, Chair of Computational Linguistics · Heidelberg University

cl.uni-heidelberg.de/~markert

Katsumi Inoue katsumiinoueProfessor, Principles of Informatics Research Division · National Institute of Informatics

PhDKyoto University

Master’sKyoto University

UndergraduateKyoto University

research.nii.ac.jp/~inoue/official/content_e.html

Kaustubh D. Dhole kaustubhddholePost-doctoral researcher · Stanford University

PhDEmory University

Master’sEmory University

UndergraduateBirla Institute of Technology and Science, Pilani

kaustubhdhole.github.io · https://github.com/kaustubhdhole

Kaylah Facey kaylahfaceyPhD Student · Northeastern University

0009-0001-1787-5562

Kayvan Memarian kayvanmemarianSenior Research Associate · University of Cambridge

cl.cam.ac.uk/~km569 · 0000-0003-3723-636X

Kazimierz Kuratowski kazimierzkuratowski

PhD studentsSamuel Eilenberg

K. Brian Haley kbrianhaley

PhD studentsRodney Martineau Burstall

K. C. Sivaramakrishnan kcsivaramakrishnanIndian Institute of Technology Madras

kcsrk.info · 0000-0002-3491-1780

Ke Du keduUniversity of Illinois Chicago

du-ke.pl · 0009-0008-2465-1082

Keith Lines keithlines

Keith Tran keithtranNorth Carolina State University

0009-0006-2591-2227

Kejian Shi kejianshiElectric Power Research Institute

0009-0000-9633-1792

Kelong Cong kelongcongZama

0000-0002-2636-4406

Kenji Maillard kenjimaillard

Kenneth Kunen kennethkunen

PhD advisorDana Scott

PhD studentsWilliam M. Farmer

PhDStanford University

Kenneth L. McMillan kennethmcmillan

Kenny Q. Zhu kennyqzhu

PhDNational University of Singapore

UndergraduateNational University of Singapore

0000-0003-3782-3230

Ken Thompson kenthompson

Kevin Batz kevinbatzJuniorprofessor of Computer Science · University of Münster

PhD advisorJoost-Pieter Katoen

Postdoc advisorAlexandra Silva

PhDRWTH Aachen University

kevinbatz.github.io · 0000-0001-8705-2564

Kevin Gimpel kevingimpel

PhD studentsShubham Toshniwal

PhDCarnegie Mellon University

kgimpel.github.io

Kevin Loughlin kevinloughlinUniversity of Michigan

kevinloughlin.org · 0000-0003-4647-3201

Kevin Luli kevinluli

PhD studentsFushuai Jiang

Kevin Omondi kevinomondi

Khalil Ghorbal khalilghorbalResearcher · Inria Rennes

people.rennes.inria.fr/Khalil.Ghorbal · 0000-0003-4941-6632

Khawaja Shams khawajashams

Kimball Germane kimballgermaneAssistant Professor, Computer Science Department · Brigham Young University

PhD advisorMatthew Might

PhDUniversity of Utah

kimball.germane.net · 0000-0003-4903-5645

Kimberly Diaz kimberlydiazIloilo State University of Fisheries Science and Technology

Kim Laine kimlaineMicrosoft

0000-0002-9087-5913

Kinner Patel kinnerpatelAssistant Professor · University of Alabama at Birmingham

0000-0002-0291-5269

Kinnsley Travis kinnsleytravis

Kip Parker kipparker

Klaas Landsman klaaslandsmanProfessor of Mathematical Physics · Radboud University

PhD studentsChris Heunen

math.ru.nl/~landsman

Klaas Pruiksma klaaspruiksma

0000-0002-6032-087X

Klaudia Krawiecka klaudiakrawiecka

Klaus Ostermann klausostermannProfessor · University of Tübingen

ps.informatik.uni-tuebingen.de/team/ostermann · 0000-0001-5294-5506

Kobe Wullaert kobewullaertPhD Student, Programming Languages group · Delft University of Technology

PhD advisorBenedikt Ahrens

Master’sUniversity of Antwerp

UndergraduateUniversity of Antwerp

kobewullaert.github.io · 0000-0003-4281-2739 · https://github.com/KobeWullaert

Koko Muroya kokomuroyaTenure-track lecturer, Department of Information Sciences · Ochanomizu University

koko-m.github.io

Konstantinos Mamouras konstantinosmamourasAssociate Professor, Department of Computer Science · Rice University

PhD advisorDexter Kozen

Postdoc advisorRajeev Alur

PhDCornell University

Master’sImperial College London

kmamouras.github.io · 0000-0003-1209-7738

Konstantin Verchinine konstantinverchinine

PhD advisorViktor Glushkov

PhD studentsAndrei Paskevich

PhDNational Academy of Sciences of Ukraine

Kory Mathewson korymathewsonStaff Research Scientist · Google DeepMind

PhDUniversity of Alberta

korymathewson.com · https://github.com/korymath

Kristen Chiafullo kristenchiafullo

Kristian Støvring kristianstovring

K. Rustan M. Leino krustanmleinoSenior Principal Engineer · Amazon Web Services Inc

0000-0003-2872-8039

Krzysztof Kapulkin krzysztofkapulkin

Ksenia Shkaruta kseniashkaruta

Kuang Sun kuangsunUniversity of Michigan

Kuen-Bang Hou (Favonia) kuenbanghoufavonia

PhD advisorRobert Harper

PhDCarnegie Mellon University

favonia.org · 0000-0002-2310-3673 · https://github.com/favonia/ · @favonia@mathstodon.xyz

Kumar Shridhar kumarshridharML researcher · Ema

PhD advisorMrinmaya Sachan

kumar-shridhar.github.io · https://github.com/kumar-shridhar

Kwing Hei Li kwingheiliPhD Student, Logics and Semantics group · Aarhus University

PhD advisorLars Birkedal

Master’sUniversity of Cambridge

UndergraduateUniversity of Cambridge

hei411.github.io · 0000-0002-4124-5720 · https://github.com/hei411

Kylee Shiekh kyleeshiekhGraduate Research Assistant · Virginia Tech

Master’sColorado School of Mines

UndergraduateColorado School of Mines

0000-0003-0354-0494

Kyle McDonell kylemcdonell

Kyle Richardson kylerichardson

Kyunghyun Cho kyunghyunchoNew York University

PhD advisorJuha Tuomas Karhunen

PhD studentsSean Welleck

PhDAalto University

kyunghyuncho.me

Lama Ahmad lamaahmad

Lambert Meertens lambertmeertensResearcher · Kestrel Institute

Laria Reynolds lariareynolds

Lars Birkedal larsbirkedalProfessor, Villum Investigator · Aarhus University

PhD advisorDana Scott

PhD studentsAbel Nieto, Aïna Linn Georges, Anders Alnor Mathiasen, Daniel Gratzer, Hans Bugge Grathwohl, Kwing Hei Li, Philipp Stassen, Sergei Stepanenko, Simon Oddershede Gregersen

PostdocsAlejandro Aguirre, Armaël Guéneau, Daniel Gratzer, Jon Sterling

PhDCarnegie Mellon University

Master’sCarnegie Mellon University, University of Copenhagen

UndergraduateCopenhagen Business School

cs.au.dk/~birke · 0000-0003-1320-0098

Lasse Nielsen lassenielsen

Lauren Biernacki laurenbiernackiLafayette College

lbiernac.github.io · 0000-0001-8511-2287

Lauren Deason laurendeason

Lauren Labell laurenlabell

Laurent Regnier laurentregnier

PhD studentsThomas Seiller

Lee Sharkey leesharkey

Leif Hancox-Li leifhancoxli

Lennard Gäher lennardgaher

Leo Gao leogao

Leo Grinsztajn leogrinsztajn

Leo Guibas leoguibas

PhD studentsChris Piech

Leonard Merrick Uhr leonardmerrickuhr

PhD studentsPat Hanrahan

Leonardo de Moura leonardodemouraAmazon Web Services

PhD advisorCarlos José Pereira de Lucena, Edward Hermann Haeusler

PhDPontifícia Universidade Católica do Rio de Janeiro

leodemoura.github.io · https://github.com/leodemoura

Léon Ducruet leonducruetPhD Student · Aarhus University

0009-0002-6141-5624

Léon Gondelman leongondelmanAssistant Professor · Aalborg University

PhD advisorAndrei Paskevich, Jean-Christophe Filliâtre

PhDUniversité Paris Saclay

0000-0001-8262-6397 · https://github.com/leon-gondelman

Leonidas Lampropoulos leonidaslampropoulosAssociate Professor · University of Maryland, College Park

PhD advisorBenjamin C. Pierce

Postdoc advisorBenjamin C. Pierce, Michael Hicks

PhDUniversity of Pennsylvania

UndergraduateNational Technical University of Athens

lemonidas.github.io · 0000-0003-0269-9815

Leoni Pugh leonipughUniversity of Cambridge

Leon Witzman leonwitzman

Léo Stefanesco leostefanescoPostdoc · University of Cambridge

Postdoc advisorTobias Grosser, Viktor Vafeiadis

Master’sMPRI (Paris)

stefanesco.com · 0000-0002-4719-2922

Leslie Pack Kaelbling lesliepackkaelbling

PhD studentsLuke Zettlemoyer

Leslie Valiant leslievaliantHarvard University

PhD advisorMichael Stewart Paterson

PhD studentsBenjamin L. Edelman

PhDUniversity of Warwick

people.seas.harvard.edu/~valiant

Lê Thành Dũng Nguyên lethanhdungnguyenCNRS

PhD advisorStefano Guerrini, Thomas Seiller

Postdoc advisorDenis Kuperberg, Noam Zeilberger

PhDUniversité Sorbonne Paris Nord

nguyentito.eu · @tito@social.sciences.re

Liam Dugan liamdugan

Liam O’Connor liamoconnorSenior Lecturer · Australian National University

UndergraduateUNSW Sydney

liamoc.net · 0000-0003-2765-4269

Liang-Ting Chen liangtingchen

Lianhui Qin lianhuiqin

Lidia Contreras-Ochando lidiacontrerasochando

Ligia Nistor ligianistor

0000-0002-4714-5034

Liina Pylkkänen liinapylkkanen

PhD advisorAlec Marantz

PhD studentsAlicia Parrish

PhDMassachusetts Institute of Technology

Lily Saada lilysaadaStudent · Cornell University

0009-0003-8590-6740

Limin Jia liminjiaResearch Professor, ECE · Carnegie Mellon University

PhD studentsMilijana Surbatovich

PhDPrinceton University

UndergraduateUniversity of Science and Technology of China

andrew.cmu.edu/user/liminjia

Lindsey Kuper lindseykuperAssociate Professor · University of California, Santa Cruz

PhDIndiana University

users.soe.ucsc.edu/~lkuper · lkuper · @lindsey@recurse.social

Lionel Barnett lionelbarnett

PhD studentsGuillaume Corlouer

Lisa Zhang lisazhangAssociate Professor, Teaching Stream · University of Toronto

cs.toronto.edu/~lczhang

Li Zhang lizhangAssistant Professor · Drexel University

PhD advisorChris Callison-Burch

PhDUniversity of Pennsylvania

UndergraduateUniversity of Michigan

zharry29.github.io

Loïc Pujet loicpujet

Lorenzo Alvisi lorenzoalvisiTisch University Professor and CS Department Chair · Cornell University

PhD studentsManos Kapritsos, Yang Wang

PhDCornell University

Master’sCornell University

UndergraduateUniversity of Bologna

cs.cornell.edu/lorenzo · 0000-0002-9857-5528

Lorenzo Luccioli lorenzoluccioliPhD student, Mathematics · University of Bologna

unibo.it/sitoweb/lorenzo.luccioli2/en

Louis-Philippe Morency louisphilippemorencyLeonardo Associate Professor of Computer Science · Carnegie Mellon University

PhDMassachusetts Institute of Technology

cs.cmu.edu/~morency

Luca Aceto lucaacetoProfessor · Reykjavík University

PhD advisorMatthew Hennessy

PostdocsJana Wagemaker

PhDUniversity of Sussex

0000-0002-2197-3018

Luca Arnaboldi lucaarnaboldiAssistant Professor · University of Birmingham

PhDNewcastle University

UndergraduateNewcastle University

birmingham.ac.uk/staff/profiles/computer-science/academic-staff/arnaboldi-luca · 0000-0002-0808-2456

Luca Cardelli lucacardelli

Luca Mesiti lucamesitiPostdoctoral research fellow · Stellenbosch University

PhD advisorNicola Gambino

PhDUniversity of Leeds

lucamesiti.github.io · 0009-0003-7762-1550

Luca Moschella lucamoschellaMachine Learning Researcher · Apple

PhD advisorEmanuele Rodola, Francesco Locatello

PhDSapienza University of Rome

Master’sSapienza University of Rome

UndergraduateSapienza University of Rome

luca.moschella.dev

Lucas Lam lucaslam

Lucas Wagner lucaswagnerAssistant Professor · University of Illinois at Urbana-Champaign

PhDNorth Carolina State University

UndergraduateNorth Carolina State University

0000-0002-3755-044X

Lucia Quirke luciaquirkeMember of Technical Staff · EleutherAI

luciaquirke.net/about · https://github.com/luciaquirke

Lucy Noble lucynoble

Ludwig Schmidt ludwigschmidt

Luheng He luhengheResearch scientist · Google

PhD advisorLuke Zettlemoyer

PhDUniversity of Washington

luheng.github.io

Luís Caires luiscairesFull Professor of Science and Methodology of Programming · University of Lisbon

PhD advisorLuís Monteiro

PhD studentsBernardo Toninho

PhDUniversidade Nova de Lisboa

luiscaires.org · 0000-0002-3215-6734

Luis Ceze luiscezeUniversity of Washington

PhD advisorJosep Torrellas

PhD studentsBrandon Lucia

PhDUniversity of Illinois at Urbana-Champaign

homes.cs.washington.edu/~luisceze

Luis Garcia luisgarcia

0000-0002-8823-1967

Luís Monteiro luismonteiro

PhD studentsLuís Caires

Luis Oliveros Colón luisoliveroscolon

Luiz Carlos Pinheiro Dias Pereira luizcarlospinheirodiaspereira

PhD studentsEdward Hermann Haeusler

Luiz De Sá luizdesa

0009-0003-5731-2224

Lukas Convent lukasconventTeacher of computer science and maths · Ernst-Barlach-Gymnasium Schönberg

lukasconvent.de/en · 0000-0001-7862-0718

Luke Metz lukemetz

Luke Ong lukeong

PhD advisorJohn Darlington, Samson Abramsky

PostdocsHugo Paquet

PhDUniversity of London

Luke Zettlemoyer lukezettlemoyerUniversity of Washington

PhD advisorLeslie Pack Kaelbling, Michael Collins

PhD studentsLuheng He

PostdocsTao Yu

PhDMassachusetts Institute of Technology

cs.washington.edu/people/faculty/lsz

Lütfi Kerem Şenel lutfikeremsenel

Lutz Strassburger lutzstrassburger

Maaike Annebet Zwart maaikeannebetzwartPostdoc · IT University of Copenhagen

PhDUniversity of Oxford

Master’sUniversity of Amsterdam

UndergraduateRadboud University

maaikezwart.com · 0000-0002-0257-1574

Maarten Bosma maartenbosma

Maarten de Rijke maartenderijke

PhD advisorJohan F. A. K. van Benthem

PhD studentsMaartje ter Hoeve

PhDUniversity of Amsterdam

staff.fnwi.uva.nl/m.derijke

Maarten Sap maartensap

Maartje ter Hoeve maartjeterhoeveMachine Learning Researcher · Apple Machine Learning Research

PhD advisorJulia Kiseleva, Maarten de Rijke

PhDUniversity of Amsterdam

Master’sUniversity of Amsterdam

UndergraduateUniversity of Amsterdam

maartjeth.github.io · https://github.com/maartjeth · @maartje@sigmoid.social

Madeline Eckenrode madelineeckenrode

0000-0002-1697-7268

Madhu Sudan madhusudan

PhD studentsVenkatesan Guruswami

Madi Gudin madigudinAmherst College

0009-0009-7424-4917

Magnus Baunsgaard Kristensen magnusbaunsgaardkristensen

Magnus O. Myreen magnusmyreen

Maheen Farooqi maheenfarooqi

Master’sMcMaster University

UndergraduateUniversity of Waterloo

0000-0001-9678-4206

Maia Hamin maiahamin

Maks Ovsjanikov maksovsjanikov

PostdocsSimone Melzi

Maksym Andriushchenko maksymandriushchenkoPrincipal investigator, AI Safety and Alignment group · ELLIS Institute Tübingen

PhDÉcole Polytechnique Fédérale de Lausanne

andriushchenko.me · https://github.com/max-andr

Malin Altenmüller malinaltenmullerUniversity of Edinburgh

maltenmuller.github.io · 0009-0009-0681-4973

Manaal Faruqui manaalfaruqui

Maneesh Agrawala maneeshagrawalaStanford University

PhD advisorPat Hanrahan

PhD studentsWill Crichton

PhDStanford University

graphics.stanford.edu/~maneesh · http://github.com/magrawala

Maneesh Sahani maneeshsahani

PhD studentsRichard E. Turner

Manos Kapritsos manoskapritsosAssociate Professor · University of Michigan

PhD advisorLorenzo Alvisi

PhD studentsPranav Srinivasan

PhDUniversity of Texas at Austin

web.eecs.umich.edu/~manosk · 0000-0002-4368-7418

Mantas Mazeika mantasmazeika

Manuel Baltieri manuelbaltieriResearch Team Leader and ARIA R&D Creator · Araya Inc.

PhD advisorChris Buckley

PhDUniversity of Sussex

Master’sUniversity of Sussex

manuelbaltieri.com · 0000-0002-6086-4711 · https://github.com/mbaltieri · @manuelbaltieri@mathstodon.xyz

Marc Bezem marcbezemEmeritus · University of Bergen

PhD advisorAnne Sjerp Troelstra, Dirk van Dalen

PhDUtrecht University

uib.no/en/persons/Marc.Bezem · 0000-0002-7320-1976

Marc Cavazza marccavazzaNational Institute of Informatics

0000-0001-6113-9696

Marcello M. Bonsangue marcellobonsangue

PhD studentsAlexandra Silva

Marcelo Almeida marceloalmeidaUniversidade Presbiteriana Mackenzie

Marcelo P. Fiore marcelofioreProfessor · University of Cambridge

PhD advisorGordon Plotkin

PhD studentsDmitrij Szamozvancev, Sam Staton

PhDUniversity of Edinburgh

cl.cam.ac.uk/~mpf23 · 0000-0001-8558-3492

Marcel Riesz marcelriesz

PhD studentsEinar Hille

Marco Baturan marcobaturan

Marco Devesas Campos marcodevesascamposSandia National Laboratories

0000-0001-6675-4671

Marco Gaboardi marcogaboardiProfessor · Boston University

PhD studentsCheng Zhang

PhDUniversità di Torino

Master’sUniversity of Milano-Bicocca

UndergraduateUniversity of Milano-Bicocca

cs-people.bu.edu/gaboardi · 0000-0002-5235-7066

Marco Maggesi marcomaggesiAssociate Professor · University of Florence

sites.google.com/unifi.it/maggesi · 0000-0003-4380-7691

Marco Marelli marcomarelliUniversity of Milano-Bicocca

PhD advisorClaudio Luzzatti

PhDUniversity of Milano-Bicocca

Master’sUniversity of Milano-Bicocca

UndergraduateUniversity of Milano-Bicocca

marcomarelli.net · 0000-0001-5831-5441

Marco Maru marcomaru

Marco Paviotti marcopaviottiLecturer · University of Kent

mpaviotti.github.io · 0000-0002-1513-0807

Marco Petracci marcopetracci

Master’sUniversity of Bologna

Marc Pouzet marcpouzetProfessor · Ecole Normale Superieure

di.ens.fr/~pouzet · 0000-0002-2651-7708 · https://github.com/marcpouzet

Marcus Rossel marcusrossel

Marelie H. Davel mareliedavel

Margaret Mitchell margaretmitchell

Maria-Cristina Patron mariacristinapatron

Maria Jose Ramírez Quintana mariajoseramirezquintana

Mariame Tighanimine mariametighanimine

Mariana Botelho da Gama marianabotelhodagamaKU Leuven

0000-0002-2759-043X

Marianna Rapoport mariannarapoportAmazon Web Services

PhD advisorOndřej Lhoták

PhDUniversity of Waterloo

Master’sUniversity of Waterloo

UndergraduateMoscow Institute of Radioelectronics, Engineering and Automation

mrapoport.com · https://github.com/amaurremi/

Marie Tolkiehn marietolkiehnData Science Manager in Research for Biophysics · Beiersdorf (Hamburg)

PhDImperial College London

Master’sImperial College London

UndergraduateHAW Hamburg

sites.google.com/view/tolkiehn/home · 0000-0002-4322-1044

Marijn Heule marijnheule

PhD studentsAmar Shah

Mario Carneiro mariocarneiroPost-doc in interactive theorem proving · Chalmers University of Technology

digama0.github.io · 0000-0002-0470-5249 · https://github.com/digama0/

Mario Giulianelli mariogiulianelliAssociate Professor of Computational Linguistics · University College London

PhD advisorRaquel Fernández

Postdoc advisorRyan Cotterell

PhDUniversity of Amsterdam

glnmario.github.io · https://github.com/glnmario

Mário Pereira mariopereiraAssistant Professor · NOVA School of Science and Technology (NOVA LINCS)

PhD advisorJean-Christophe Filliâtre

PhDUniversité Paris Saclay

Master’sUniversidade do Porto

mariojppereira.github.io · 0000-0002-7048-9425 · https://github.com/mariojppereira

Mario Román marioromanPostdoctoral researcher · Tallinn University of Technology

Master’sUniversity of Oxford

marioroman.xyz · 0000-0003-3158-1226

Mari Ostendorf mariostendorfUniversity of Washington

PhD advisorRobert M. Gray

PostdocsTao Yu

PhDStanford University

people.ece.uw.edu/ostendorf

Marisa Kirisame marisakirisameUniversity of Utah

marisa.moe · 0000-0002-3418-4835 · https://github.com/MarisaKirisame

Marissa Zheng marissazheng

Mark E. Mahowald markemahowald

PhD studentsMichael J. Hopkins

Mark Horowitz markhorowitz

PhD advisorRobert Wilbur Dutton

PostdocsJonathan Ragan-Kelley

PhDStanford University

Mark Koch markkochQuantinuum

0000-0001-8511-2703

Mark Lemay marklemay

Mark Moeller markmoellerCollege of the Holy Cross

PhD advisorAlexandra Silva, Nate Foster

PhDCornell University

Master’sUniversity of Pennsylvania

UndergraduateUnited States Naval Academy

markmoeller.work · 0009-0002-9512-565X

Mark Niklas Müller markmuller

Mark Reitblatt markreitblatt

PhD advisorNate Foster

PhDCornell University

Mark Steedman marksteedmanProfessor of Cognitive Science, School of Informatics · University of Edinburgh

PhD advisorHugh Christopher Longuet-Higgins

PhD studentsSiva Reddy

PhDUniversity of Edinburgh

homepages.inf.ed.ac.uk/steedman

Markus de Medeiros markusdemedeirosPhD · New York University

PhD advisorJoseph Tassarotti

UndergraduateUniversity of British Columbia

markusde.ca · 0009-0005-3285-5032 · markusdemedeiros · @markusde@mathstodon.xyz

Markus N. Rabe markusnrabe

0000-0003-4795-7259

Markus Püschel markuspuschel

Martha Lewis marthalewisAssistant Professor · University of Amsterdam

0000-0002-9951-9413

Martin Biehl martinbiehlSenior Research Scientist · Cross Labs (Cross Compass), Tokyo

PhDUniversity of Hertfordshire

crosslabs.org/team · 0000-0002-1670-6855

Martin Dvorak martindvorak

PhD advisorJasmin Blanchette, Vladimir Kolmogorov

PhDInstitute of Science and Technology Austria

Martin Hofmann martinhofmann

Martin Hyland martinhyland

PhD studentsPaige Randall North, Sean Moss, Tom Leinster

Martin Kleppmann martinkleppmannAssociate Professor · University of Cambridge

Master’sUniversity of Cambridge

0000-0001-7252-6958

Martin Potthast martinpotthast

Martin Rinard martinrinard

0000-0001-8095-8523

Martin Vechev martinvechev

Martin Volk martinvolk

PhD studentsRico Sennrich

Mary Lou Soffa marylousoffaUniversity of Virginia

PhD studentsRastislav Bodik

PhDUniversity of Pittsburgh

Master’sOhio State University

UndergraduateUniversity of Pittsburgh

cs.virginia.edu/~soffa

Mary Maller marymaller

Mateo Torres-Ruiz mateotorresruizUniversity College London

0009-0007-8316-3823

Mateusz Dziemian mateuszdziemian

Mathias Adam Møller mathiasadammller

Mathias Pedersen mathiaspedersenPhD Student · Aarhus University

0009-0004-4742-3868

Mathilde Vaerting mathildevaerting

PhD studentsElsie Anna Grace Knowles

Matija Pretnar matijapretnarAssistant professor · University of Ljubljana

matija.pretnar.info · 0000-0001-7755-2303 · matijapretnar

Matteo Capucci matteocapucciUniversity of Strathclyde

Master’sUniversity of Padua

matteocapucci.eu · 0000-0003-1400-358X · mattecapu · @mc@mathstodon.xyz

Matteo Sammartino matteosammartinoSenior Lecturer · Royal Holloway University of London

PhDUniversity of Pisa

Master’sUniversity of Pisa

UndergraduateUniversity of Pisa

0000-0003-1456-2242

Matt Fredrikson mattfredriksonAssociate Professor · Carnegie Mellon University

PhD studentsAndy Zou

cs.cmu.edu/~mfredrik

Matthew A. Hammer matthewahammerIndependent Researcher and Educator

PhD advisorUmut A. Acar

PhDUniversity of Chicago

Master’sToyota Technological Institute at Chicago

UndergraduateUniversity of Wisconsin

matthewhammer.org · https://github.com/matthewhammer

Matthew Bolan matthewbolanPhD Candidate · University of Toronto

0009-0004-7373-1311

Matthew Daggitt matthewdaggittLecturer · The University of Western Australia

PhDUniversity of Cambridge

research-repository.uwa.edu.au/en/persons/matthew-daggitt · 0000-0002-2552-3671

Matthew Heck matthewheckAmazon

Matthew Heimerdinger matthewheimerdinger

Matthew Hennessy matthewhennessy

PhD advisorEdward A. Ashcroft

PhD studentsLuca Aceto

PhDUniversity of Waterloo

Matthew Keenan matthewkeenanPhD · University of Michigan

PhD advisorCyrus Omar

PhDUniversity of Michigan

Matthew Kukla matthewkuklaGeorge Washington University

UndergraduateUniversity of Maryland

mkukla.net · 0009-0003-1183-0683

Matthew L. Leavitt matthewlleavittCo-Founder and Chief Scientist · DatologyAI

PhDMcGill University

UndergraduateMcGill University

Matthew Might matthewmightUniversity of Alabama at Birmingham

PhD advisorOlin Shivers

PhD studentsKimball Germane

PhDGeorgia Institute of Technology

Master’sGeorgia Institute of Technology

UndergraduateGeorgia Institute of Technology

matt.might.net · 0000-0002-8430-5316 · matthewmight

Matthew Pickering matthewpickeringSenior Haskell Consultant · Well-Typed LLP

PhD advisorNicolas Wu

UndergraduateUniversity of Oxford

mpickering.github.io

Matthew Sotoudeh matthewsotoudeh

Matthias Brun matthiasbrunPhD student · ETH Zurich

matthias-brun.ch · 0009-0004-5349-4347 · https://github.com/matthias-brun

Matthias Felleisen matthiasfelleisenNortheastern University

PhD studentsAmr Sabry

Matthias Hagen matthiashagen

Matthias Schlaipfer matthiasschlaipferApplied Scientist · Amazon Web Services

0000-0002-3664-6677

Matthieu Sozeau matthieusozeau

Matthijs Vákár matthijsvakar

Mátyás Schubert matyasschubert

Maureen E Hoatlin maureenehoatlin

0000-0002-6521-9543

Maurice Bailleu mauricebailleuSenior Researcher · Huawei Technologies

PhDUniversity of Edinburgh

0009-0005-8887-4101

Maurice Milgram mauricemilgram

PhD studentsYann LeCun

Maurice Paul Nivat mauricepaulnivat

PhD studentsJean-Jacques Lévy

Maurice Shih mauriceshihUniversity of Maryland, College Park

Max Fan maxfanCornell University

max.fan · 0009-0001-3664-6538

Maxime Guillaume maximeguillaume

Maxime Legoupil maximelegoupilNanyang Technological University

pure.au.dk/portal/en/persons/6d3e2501-3757-4341-b9fc-2c728b1596f1 · 0009-0005-4093-2755

G. Max Kelly maxkelly

Max S. New maxsnewAssistant Professor · University of Michigan

PhD advisorAmal Ahmed

Postdoc advisorDaniel R. Licata

PhD studentsEric Bond, Eric Giovannini, Steven Schaefer, Yuchen Jiang

PhDNortheastern University

Master’sNorthwestern University

UndergraduateNorthwestern University

maxsnew.com · 0000-0001-8141-195X · maxsnew · @maxsnew@types.pl

Maxwell Lin maxwelllin

Max Willsey maxwillseyAssistant Professor · University of California, Berkeley

PostdocsMichael Arntzenius

PhDUniversity of Washington

UndergraduateCarnegie Mellon University

Max Zeuner maxzeuner

0000-0003-3092-8144

Max Z. Li maxzliUniversity of Michigan

PhDMassachusetts Institute of Technology

Master’sUniversity of Pennsylvania

UndergraduateUniversity of Pennsylvania

sites.google.com/umich.edu/lattice/home · 0000-0001-8969-6259

May Torrence maytorrence

Mayuko Kori mayukokoriAssistant Professor · Kyoto University

PhDThe Graduate University for Advanced Studies, SOKENDAI

mkori.com · 0000-0002-8495-5925

Md Kamrul Siam mdkamrulsiamResearch Assistant · New York Institute of Technology

PhDColorado School of Mines

Master’sWestern Illinois University

UndergraduateMilitary Institute of Science and Technology

kamrulhossainsiam.com · 0000-0001-9986-210X

Medina Orduna Baitemirova medinaordunabaitemirova

Megha Uberoi meghauberoi

Mehran Sahami mehransahami

PhD studentsChris Piech

Mehrnoosh Sadrzadeh mehrnooshsadrzadehReader · University College London

0000-0002-5863-7835

Melody Arnaud melodyarnaud

Melvin McElrath melvinmcelrath

Mengye Ren mengyerenNew York University

PhD advisorRaquel Urtasun, Richard Zemel

PhD studentsRyan Teehan

PhDUniversity of Toronto

Menucha Winchell menuchawinchell

0000-0001-9192-2438

Miao Xu miaoxuFirst Hospital of China Medical University

0000-0002-3074-0726

Michael Arntzenius michaelarntzeniusPostdoc · University of California, Berkeley

PhD advisorNeel Krishnaswami

Postdoc advisorMax Willsey

PhDUniversity of Birmingham

UndergraduateCarnegie Mellon University

rntz.net · 0009-0002-0417-5636 · https://github.com/rntz/ · @rntz@recurse.social

Michael A. Yee michaelayee

0000-0003-3688-5202

Michael Barr michaelbarrEmeritus Professor · McGill University

math.mcgill.ca/barr

Michael Bell michaelbell

PhD studentsRichard Bird

Michael Bronstein michaelbronsteinUniversity of Oxford

PhD advisorRon Kimmel

PostdocsAntonio Norelli

PhDTechnion Israel Institute of Technology

cs.ox.ac.uk/people/michael.bronstein

Michael Coblenz michaelcoblenzAssistant Professor, Computer Science & Engineering · University of California San Diego

PhD advisorBrad A. Myers, Jonathan Aldrich

Postdoc advisorAdam Porter, Michael Hicks, Michelle Mazurek

PhDCarnegie Mellon University

Master’sCarnegie Mellon University

UndergraduateCarnegie Mellon University

cseweb.ucsd.edu/~mcoblenz · 0000-0002-9369-4069 · https://github.com/mcoblenz

Michael Cohen michaelcohen

Michael Collins michaelcollins

PhD studentsLuke Zettlemoyer

Michael D. Adams michaeldadamsAssistant Professor · National University of Singapore

PhD advisorR. Kent Dybvig

PhDIndiana University

UndergraduateUniversity of Kansas

michaeldadams.org · 0000-0003-3160-6972

Michael Dixon michaeldixonSenior Cyber Security Research Scientist · Los Alamos National Laboratory

UndergraduateUniversity of Michigan

mdxn.org · 0000-0001-9282-3175

Michael D. Noseworthy michaeldnoseworthyProfessor · McMaster University

ece.mcmaster.ca/~mikenose/web/HOME.html · 0000-0003-1464-159X

Michael Gu michaelgu

Michael Hallinan michaelhallinan

0009-0000-0212-4873

Michael Hicks michaelhicksProfessor · University of Pennsylvania

PostdocsLeonidas Lampropoulos, Michael Coblenz

mhicks.me · 0000-0002-2759-9223

Michael Hilton michaelhiltonAssociate Teaching Professor · Carnegie Mellon University

PhDOregon State University

Master’sCalifornia Polytechnic State University

UndergraduateSan Diego State University

cs.cmu.edu/~mhilton · 0000-0001-9195-6902

Michael I. Jordan michaelijordanInria

PhD advisorDavid Everett Rumelhart, Donald Arthur Norman

PhD studentsPercy Liang, Tommi Jaakkola

PhDUniversity of California San Diego

people.eecs.berkeley.edu/~jordan

Michael Ivanitskiy michaelivanitskiyMATS program scholar

PhD advisorCecilia Diniz Behn

UndergraduateUniversity of Michigan

miv.name · 0000-0002-4213-4993 · mivanit

Michael J. Hopkins michaeljhopkinsHarvard University

PhD advisorIoan Mackenzie James, Mark E. Mahowald

PhD studentsCharles Rezk

PhDNorthwestern University

people.math.harvard.edu/~mjh

Michael John Patton michaeljohnpattonUniversity of Alabama at Birmingham

UndergraduateOccidental College

0000-0001-5056-6043

Michael Johnson michaeljohnson

PhD studentsBryce Clarke

Michael K. Reiter michaelkreiterProfessor · Duke University

PhD studentsJonathan M. McCune

PhDCornell University

UndergraduateUniversity of North Carolina at Chapel Hill

reitermk.github.io · 0000-0001-7007-8274

Michael Mayers michaelmayers

0000-0002-7792-0150

Michael McLoughlin michaelmcloughlinCarnegie Mellon University

0000-0003-2347-6258

Michael Norrish michaelnorrish

Michael Paul Fourman michaelpaulfourmanProfessor of Computer Systems, School of Informatics · University of Edinburgh

PhD advisorDana Scott

PhD studentsJohn Longley

PhDUniversity of Oxford

homepages.inf.ed.ac.uk/mfourman

Michael Roberts michaelroberts

Michael Rosenberg michaelrosenberg

PhD advisorIan Miers, Jonathan Katz

PhDUniversity of Maryland, College Park

UndergraduateUniversity of Michigan

mrosenberg.pub · 0000-0001-9784-125X · rozbb

Michael Sammler michaelsammler

Michael Shulman michaelshulmanProfessor · University of San Diego

PhD advisorJ. Peter May

PhDUniversity of Chicago

home.sandiego.edu/~shulman · 0000-0002-9948-6682 · mikeshulman

Michael Starritt michaelstarritt

Michael Stewart Paterson michaelstewartpaterson

PhD studentsLeslie Valiant

Michael Strube michaelstrubeHeidelberg Institute for Theoretical Studies

PhDUniversity of Freiburg

h-its.org/people/prof-dr-michael-strube

Michael W. Whalen michaelwwhalenAmazon

PhDUniversity of Minnesota

0000-0003-3824-1435

Micha Nowak michanowak

Michał Swędrowski michaswedrowski

Michele Bevilacqua michelebevilacquaGoogle DeepMind

PhDSapienza University of Rome

Master’sSapienza University of Rome

UndergraduateSapienza University of Rome

mbevila.github.io · https://github.com/mbevila

Michelle Mazurek michellemazurekUniversity of Maryland

PostdocsMichael Coblenz

cs.umd.edu/people/mmazurek

Michel Steuwer michelsteuwerProfessor, Chair of Compilers and Programming Languages · Technische Universität Berlin

PhDUniversity of Münster

Master’sUniversity of Münster

michel.steuwer.info · 0000-0001-5048-0741

Michihiro Yasunaga michihiroyasunaga

Mihai Christodorescu mihaichristodorescuGoogle

0000-0001-5808-8015

Mihir Kale mihirkale

Mikael Mayer mikaelmayerAmazon

0000-0002-6460-8731

Mike Cain mikecain

Mike Dahlin mikedahlin

PhD advisorDavid Patterson

PhD studentsYang Wang

PhDUniversity of California, Berkeley

Miles Baker milesbaker

Milijana Surbatovich milijanasurbatovichAssistant Professor · University of Maryland

PhD advisorBrandon Lucia, Limin Jia

PhD studentsJustine Frank

PhDCarnegie Mellon University

UndergraduateUniversity of Rochester

msurbatovich.github.io · 0009-0004-6948-6683 · https://github.com/msurbatovich

Milos Gligoric milosgligoricUniversity of Texas at Austin

0000-0002-5894-7649

Mimee Xu mimeexuNew York University

PhDNew York University

Ming-Jun Lai mingjunlai

PhD advisorCharles K. Chui

PhD studentsDaniel McKenzie

PhDTexas A&M University

Mirac Suzgun miracsuzgunStanford University

PhD advisorDan Jurafsky

UndergraduateHarvard College

Mirella Lapata mirellalapataProfessor in computer science, School of Informatics · University of Edinburgh

PhD advisorAlex Lascarides

PhD studentsSiva Reddy

PhDUniversity of Edinburgh

homepages.inf.ed.ac.uk/mlap

Mitch Walker mitchwalker

Mladen Victor Wickerhauser mladenvictorwickerhauser

PhD studentsWojciech Czaja

Mohamed Iguernelala mohamediguernelala

PhD advisorEvelyne Contejean, Sylvain Conchon

PhDUniversité Paris-Sud

Mohan Kankanhalli mohankankanhalliNational University of Singapore

PhD advisorWilliam Randolph Franklin

PhD studentsXudong Shen

PhDRensselaer Polytechnic Institute

Master’sRensselaer Polytechnic Institute

UndergraduateIndian Institute of Technology Kharagpur

comp.nus.edu.sg/~mohan

Mohit Bansal mohitbansal

Mohit Tekriwal mohittekriwalResearch Scientist · Lawrence Livermore National Laboratory

PhD advisorJean-Baptiste Jeannin

PhDUniversity of Michigan

Master’sUniversity of Michigan

UndergraduateIndian Institute of Technology Kanpur

mohittkr.github.io · 0000-0002-5103-2630

Moin Aminnaseri moinaminnaseri

Monica Sin-Ling Lam monicasinlinglam

PhD studentsSaman Amarasinghe

Mooly Sagiv moolysagiv

PostdocsOri Lahav

Morgan L. Locy morganllocyUniversity of Alabama at Birmingham

UndergraduateCapital University

0000-0002-3812-5867

Mor Geva morgevaTel Aviv University

PhDTel Aviv University

UndergraduateTel Aviv University

mega002.github.io

Morten Krogh-Jespersen mortenkroghjespersen

Mo Tiwari motiwariMember of Technical Staff · OpenAI

PhD advisorChris Piech, Sebastian Thrun

PhDStanford University

Master’sStanford University

UndergraduateCalifornia Institute of Technology

motiwari.com · https://github.com/motiwari

Moti Yung motiyungComputer scientist / cryptographer · Google

PhD advisorZvi Galil

PhD studentsJonathan Katz

PhDColumbia University

cs.columbia.edu/~moti

Mozhdeh Gheini mozhdehgheini

M. O. Rabin mrabin

M. Raykova mraykovaGoogle

0000-0002-1744-4025

M. R. Gould mrgould

Mrinmaya Sachan mrinmayasachan

PhD studentsKumar Shridhar

Muhammad Naveed muhammadnaveedAmazon

0009-0009-0929-9057

Mukund Varma T mukundvarmatPhD student · University of California San Diego

PhD advisorHao Su, Ravi Ramamoorthi

UndergraduateIndian Institute of Technology Madras

mukundvarmat.github.io · 0000-0001-6480-3126 · https://github.com/MukundVarmaT

Murray Shanahan murrayshanahanGoogle DeepMind

PhD advisorWilliam F. Clocksin

PhDUniversity of Cambridge

UndergraduateImperial College London

doc.ic.ac.uk/~mpsha

Myles Tierney mylestierneyRutgers University–New Brunswick

PhD advisorSamuel Eilenberg

PhD studentsTodd Trimble

PhDColumbia University

UndergraduateBrown University

Nada Amin nadaamin

0000-0002-0830-7248

Naïm Camille Favier naimcamillefavierPhD · Chalmers University of Technology

monade.li · 0000-0001-9708-624X · ncfavier · @ncf@types.pl

Nanyun Peng nanyunpeng

PhD studentsTe-Lin Wu

Naoki Yoshinaga naokiyoshinaga

Nate F. F. Bragg nateffbragg

0009-0007-3967-2217

Nate Foster natefoster

PhD studentsMark Moeller, Mark Reitblatt, Steffen Smolka

PostdocsJules Jacobs

Nathan A. Chi nathanachi

Nathan Block nathanblock

Nathan Corbyn nathancorbynUniversity of Oxford

nathancorbyn.com · 0000-0003-0513-8618

Nathaniel Erdmann nathanielerdmannUniversity of Alabama at Birmingham

Nathaniel Fehrmann nathanielfehrmannUniversity of Alabama at Birmingham

Nathaniel Virgo nathanielvirgoResearcher · University of Hertfordshire

PhDUniversity of Sussex

nathanielvirgo.net · 0000-0001-8598-590X · @Nathaniel@mathstodon.xyz

Nathaniel Yazdani nathanielyazdani

Master’sUniversity of Washington

UndergraduateUniversity of Washington

Nathan Lenssen nathanlenssen

Nathan Srebro nathansrebroToyota Technological Institute at Chicago

PhD advisorTommi Jaakkola

PhD studentsBehnam Neyshabur

PhDMassachusetts Institute of Technology

Nathan Varner nathanvarnerUniversity of Michigan

UndergraduateUniversity of Michigan

nathanvarner.com

Nayeon Lee nayeonleeResearch scientist · NVIDIA

PhD advisorPascale Fung

PhDHong Kong University of Science and Technology

nayeon7lee.github.io · https://github.com/nayeon7lee

Neel Kant neelkant

Neel Krishnaswami neelkrishnaswamiProfessor of Computer Science · University of Cambridge

PhD advisorJohn C. Reynolds, Jonathan Aldrich

Postdoc advisorDerek Dreyer, Nick Benton

PhD studentsDmitrij Szamozvancev, Jad Elkhaleq Ghalayini, Michael Arntzenius, Rini Banerjee

PostdocsDimitrios J. Economou

PhDCarnegie Mellon University

cl.cam.ac.uk/~nk480 · 0000-0003-2838-5865 · neel-krishnaswami

Neeloy Gomes neeloygomes

0009-0009-2791-966X

Neha Rungta neharungta

0000-0001-5143-8940

Neil Ghani neilghani

Neil Immerman neilimmerman

Neil J. Ross neiljrossDalhousie University

mathstat.dal.ca/~neilr · 0000-0003-0941-4333

Neil Perry neilperry

Nenad Medvidović nenadmedvidovicUniversity of Southern California

PhD studentsYuriy Brun

PhDUniversity of California, Irvine

Master’sUniversity of California, Irvine

UndergraduateArizona State University

softarch.usc.edu/~neno

Neta Gur-Ari Krakover netagurarikrakover

Netanel Lindner netanellindnerProfessor, Faculty of Physics · Technion Israel Institute of Technology

PhD studentsEvgenii Zheltonozhskii

phsites.technion.ac.il/lindner

Niccolò Veltri niccoloveltriAssistant Professor, Department of Software Science · Tallinn University of Technology

PhD advisorJames Chapman, Tarmo Uustalu

PhDTallinn University of Technology

niccoloveltri.github.io · 0000-0002-7230-3436

Nicholas Cameron nicholascameron

Nicholas Carlini nicholascarliniResearch Scientist · Anthropic

PhD advisorDavid Wagner

PhDUniversity of California, Berkeley

UndergraduateUniversity of California, Berkeley

nicholas.carlini.com · 0000-0002-1463-3461 · https://github.com/carlini

Nicholas Roberts nicholasrobertsPostdoctoral Research Fellow · Princeton University

PhD advisorFrederic Sala

Postdoc advisorDanqi Chen, Sanjeev Arora

PhDUniversity of Wisconsin–Madison

Master’sCarnegie Mellon University

UndergraduateUniversity of California San Diego

nick11roberts.science · https://github.com/nick11roberts

Nick Benton nickbenton

PostdocsNeel Krishnaswami

Nick Collins nickcollinsPhD Student · University of Chicago

computerscience.uchicago.edu/people/nicholas-collins · 0000-0001-6578-2005

Nick Doiron nickdoiron

Nickolai Zeldovich nickolaizeldovich

PhD studentsUpamanyu Sharma

Nick Rioux nickrioux

Nick Winter nickwinter

Nicola Gambino nicolagambino

PhD studentsAndrew Slattery, Luca Mesiti

Nicolai Kraus nicolaikraus

Nicolas Behr nicolasbehrChargé de recherche (CR) CNRS · Université Paris Cité

PhDHumboldt-Universität zu Berlin

Master’sHumboldt-Universität zu Berlin

nicolasbehr.com · 0000-0002-8738-5040

Nicolas Blanco nicolasblancoServicio Nacional de Geologia y Mineria

0000-0003-2606-9527

Nicolas Oury nicolasoury

Nicolas Tabareau nicolastabareau

Nicolas Wu nicolaswuProfessor of Computer Science · Imperial College London

PhD studentsMatthew Pickering, Zhixuan Yang

PhDUniversity of Oxford

UndergraduateUniversity of Oxford

zenzike.com · 0000-0002-4161-985X

Nicole Martinez nicolemartinez

Nico Naus niconausAdjunct Research Assistant Professor · Virginia Tech

Master’sUtrecht University

UndergraduateUtrecht University

niconaus.nl · 0000-0003-3442-1543

Niels Bjørn Bugge Grathwohl nielsgrathwohl

Niels van der Weide nielsvanderweidePostdoctoral Researcher · Eötvös Loránd University

PhD advisorHerman Geuvers, Ralf Hinze

Postdoc advisorAmbrus Kaposi, Herman Geuvers

PhD studentsCass Alexandru

PhDRadboud University

Master’sRadboud University

UndergraduateRadboud University

nmvdw.github.io · 0000-0003-1146-4161 · nmvdw

Nikita Nangia nikitanangia

Niklas Deckers niklasdeckers

Niklas Muennighoff niklasmuennighoff

Nikos Vasilakis nikosvasilakisAssistant Professor of Computer Science · Brown University

PhD studentsEric Zhao

nikos.vasilak.is

Nils Anders Danielsson nilsdanielsson

Nima Rasekh nimarasekhPostdoctoral researcher · Universität Greifswald

PhD advisorCharles Rezk

PhDUniversity of Illinois at Urbana-Champaign

Master’sWestern University

UndergraduateShiraz University

nimarasekh.github.io · 0000-0003-0766-2755 · https://github.com/nimarasekh · @nimarasekh@mathstodon.xyz

Ningning Xie ningningxieUniversity of Toronto

0000-0002-5961-1493

Nishant Kheterpal nishantkheterpalPhD · University of Michigan

PhD advisorJean-Baptiste Jeannin

PhDUniversity of Michigan

Master’sUniversity of Michigan

UndergraduateUniversity of California, Berkeley

nishant.page · 0000-0001-5868-7843

Nitish Shirish Keskar nitishshirishkeskar

Niveditha S. Iyer nivedithasiyer

Niyousha Najmaei niyoushanajmaeiÉcole Polytechnique

0009-0001-2892-5537

Noah Constant noahconstantGoogle

research.google/people/noah-constant

Noah Fiedel noahfiedelGoogle

Noah Goodman noahgoodman

PhD studentsAndreas Stuhlmüller

Noah Smith noahsmithUniversity of Washington

PhD advisorJason Michael Eisner

PostdocsTao Yu

PhDJohns Hopkins University

UndergraduateUniversity of Maryland

nasmith.github.io

Noah Torp-Smith noahtorpsmith

Noam Chomsky noamchomsky

Noam Zeilberger noamzeilbergerAssistant Professor in Computer Science · École Polytechnique

PhD advisorFrank Pfenning, Peter Lee

PostdocsLê Thành Dũng Nguyên

PhDCarnegie Mellon University

noamz.org · 0000-0002-5945-4184 · noamz

Noam Zilberstein noamzilbersteinPhD Candidate · Cornell University

PhD advisorAlexandra Silva

Master’sCornell University

UndergraduateUniversity of Pennsylvania

cs.cornell.edu/~noamz · 0000-0001-6388-063X · https://github.com/zilberstein

Norman Alfred Dudley normanalfreddudley

PhD advisorElsie Anna Grace Knowles, F. Benson

PhD studentsRodney Martineau Burstall

PhDUniversity of Birmingham

Norman Earl Steenrod normanearlsteenrod

PhD studentsGeorge William Whitehead, Jr.

Nuan Wen nuanwen

Nuda Zhang nudazhangUniversity of Michigan

Núria Queralt-Rosinach nuriaqueraltrosinachResearcher · Leiden University Medical Center

nuriaqueralt.wordpress.com · 0000-0003-0169-8159

Oded Padon odedpadon

Ohad Kammar ohadkammarUniversity of Edinburgh

PhD advisorGordon Plotkin

PhD studentsYotam Dvir

PhDUniversity of Edinburgh

denotational.co.uk · 0000-0002-2071-0929

Oleg Kiselyov olegkiselyovTohoku University

okmij.org/ftp · 0000-0002-2570-2186

Olek Gierczak olekgierczakPhD Student · Northeastern University

0009-0002-8850-0984

Olin Shivers olinshiversNortheastern University

PhD studentsMatthew Might

0000-0001-8171-386X

Oliver Bøving oliverbvingPostdoc · Technical University of Denmark

0009-0009-4702-2876

Oliver Zhang oliverzhang

Olivier Bodini olivierbodiniFull professor · Université Sorbonne Paris Nord

0000-0002-1867-667X

Omar Agha omaragha

Omar Elbaghdadi omarelbaghdadi

Omer Levy omerlevy

Ondřej Kubánek ondrejkubanekChalmers University of Technology

0009-0006-6581-383X

Ondřej Lhoták ondrejlhotak

PhD studentsMarianna Rapoport

Or Gozani orgozaniStanford University

0000-0002-1365-4463

Ori Lahav orilahavFaculty member, School of Computer Science · Tel Aviv University

PhD advisorArnon Avron

Postdoc advisorDerek Dreyer, Mooly Sagiv, Viktor Vafeiadis

PhD studentsYotam Dvir

PhDTel Aviv University

Master’sTel Aviv University

cs.tau.ac.il/~orilahav · 0000-0003-4305-6998

Oscar Zariski oscarzariski

PhD studentsSteven Kleiman

Oswald Veblen oswaldveblen

PhD advisorE. H. Moore

PhD studentsAlonzo Church

PhDUniversity of Chicago

Otto Mayer ottomayer

PhD advisorKarl Nickel, Ulrich W. Kulisch

PhD studentsArmin Bernd Cremers

PhDKarlsruhe Institute of Technology

Owain Evans owainevansDirector · Truthful AI

PhDMassachusetts Institute of Technology

owainevans.github.io

Owen Arden owenarden

Owen Lynch owenlynchUniversity of Oxford

owenlynch.org · 0000-0002-3031-3695 · https://github.com/olynch · @olynch@mathstodon.xyz

Pablo Antonio Moreno Casares pabloantoniomorenocasares

PhDUniversidad Complutense de Madrid

0000-0001-5500-9115

Pace P. Nielsen pacepnielsenProfessor · Brigham Young University

PhD advisorT.Y. Lam

PhDUniversity of California, Berkeley

UndergraduateBrigham Young University

mathdept.byu.edu/~pace

Paige Randall North paigerandallnorthAssistant Professor · Utrecht University

PhD advisorMartin Hyland

Postdoc advisorRob Ghrist, Sanjeevi Krishnan

PhDUniversity of Cambridge

UndergraduateUniversity of Chicago

paigenorth.github.io · 0000-0001-7876-0956

Paige Souder paigesouderChildren’s Hospital Colorado

0000-0003-2699-1933

Pai Li pailiUniversity of Illinois at Urbana-Champaign

0009-0001-7583-5024

Panagiotis Kouvaros panagiotiskouvaros

Paolo Capriotti paolocapriotti

Parth Doshi parthdoshi

Pascale Fung pascalefung

PhD studentsNayeon Lee

Pat Hanrahan pathanrahanStanford University

PhD advisorAntony O. W. Stretton, Leonard Merrick Uhr

PhD studentsManeesh Agrawala, Ravi Ramamoorthi, Will Crichton

PostdocsJonathan Ragan-Kelley

PhDUniversity of Wisconsin–Madison

graphics.stanford.edu/~hanrahan

Patricia Johann patriciajohannProfessor · Appalachian State University

PhD advisorDaniel Joseph Dougherty, Jr.

PhDWesleyan University

UndergraduateReed College

cs.appstate.edu/johannp · 0000-0002-8075-3904

Patrick Massot patrickmassotUniversité Paris Saclay

PostdocsFloris van Doorn

imo.universite-paris-saclay.fr/~patrick.massot

Patrick Schultz patrickschultz

Paul-André Melliès paulandremellies

Paul Beame paulbeameUniversity of Washington

PhD advisorStephen Arthur Cook

PhD studentsAshish Sabharwal

PhDUniversity of Toronto

Master’sUniversity of Toronto

UndergraduateUniversity of Toronto

homes.cs.washington.edu/~beame

Paul Blain Levy paulblainlevy

Paulette Koronkevich paulettekoronkevichPhD · University of British Columbia

PhD advisorWilliam J. Bowman

Master’sUniversity of British Columbia

UndergraduateIndiana University

koronkevi.ch · 0000-0003-0325-3305 · pkoronkevich

Paul Li paulli

0009-0000-0789-7410

Paul Montel paulmontel

PhD advisorÉmile Borel, Henri Lebesgue

PhD studentsHenri Cartan

PhDUniversité Paris IV-Sorbonne

Paulo Oliva pauloolivaReader in Mathematical Logic · Queen Mary University of London

PhD advisorUlrich Kohlenbach

PhD studentsJules Hedges

PhDAarhus University

UndergraduateUniversidade Federal de Pernambuco

paulooliva.github.io · 0000-0002-0492-4855

Paulo Tabuada paulotabuadaUCLA

seas.ucla.edu/~tabuada · 0000-0002-3417-0951

Paul Pu Liang paulpuliangAssistant Professor · Massachusetts Institute of Technology

pliang279.github.io · https://github.com/pliang279

Paul Vicol paulvicolResearch Scientist · Google DeepMind

paulvicol.com · https://github.com/asteroidhouse

Pavel Kovalev pavelkovalevCarnegie Mellon University

0009-0003-7609-7590

Pavel Panchekha pavelpanchekhaAssistant Professor · University of Utah

0000-0003-2621-3592

Paweł Sobociński pawesobocinskiTallinn University of Technology

Pedro H. Azevedo de Amorim pedrohaamorimLecturer · University of Bath

PhD advisorDexter Kozen

PhDCornell University

pedrohaa.github.io · 0000-0002-8338-8973

Pegah Alipoormolabashi pegahalipoormolabashiPhD Student · Stony Brook University

0009-0009-0131-2579

Peiyuan Liao peiyuanliao

Peng Li pengliUniversity of Alabama at Birmingham

0000-0002-9026-9999

Percy Liang percyliangProfessor of Computer Science · Stanford University

PhD advisorDan Klein, Michael I. Jordan

PhD studentsJacob Steinhardt

PostdocsJonathan Berant, Tatsunori Hashimoto

PhDUniversity of California, Berkeley

cs.stanford.edu/~pliang

Pete Ehrett peteehrettAdvanced Micro Devices

Peter B. Andrews peterbandrews

PhD advisorAlonzo Church

PhD studentsFrank Pfenning

PhDPrinceton University

Peter Buneman peterbuneman

PhD studentsRishiyur Sivaswami Nikhil

Peter Chang peterchang

Peter Dybjer peterdybjer

Peter Eckersley petereckersley

PhDThe University of Melbourne

Peter Hancock peterhancock

Peter Hawkins peterhawkins

PhD advisorAlex Aiken

UndergraduateThe University of Melbourne

theory.stanford.edu/~hawkinsp

Peter Höfner peterhofnerProfessor, School of Computing · Australian National University

PhDUniversity of Augsburg

Master’sUniversity of Augsburg

hoefner-online.de · 0000-0002-2141-5868 · https://github.com/hoefner

Peter T. Johnstone peterjohnstoneProfessor · University of Cambridge

dpmms.cam.ac.uk/person/ptj1000

Peter Lee peterleePresident, Microsoft Science · Microsoft

PhD advisorUwe F. Pleban

PhD studentsNoam Zeilberger

PhDUniversity of Michigan

microsoft.com/en-us/research/people/petelee

Peter LeFanu Lumsdaine peterlumsdaineAssistant Professor · Stockholm University

peterlefanulumsdaine.com

Peter Michalski petermichalski

Peter Morris petermorris

Peter Müller petermullerProfessor · ETH Zurich

pm.inf.ethz.ch · 0000-0001-7001-2566

Peter O’Hearn peterohearn

PhD studentsTiago Ferreira

Peter Samuel Dayan petersamueldayan

PhD studentsSham Kakade

Peter Sewell petersewellProfessor of Computer Science · University of Cambridge

PhD advisorRobin Milner

PhD studentsJean Pichon-Pharabod, Rini Banerjee

PhDUniversity of Edinburgh

Master’sUniversity of Oxford

UndergraduateUniversity of Cambridge

cl.cam.ac.uk/~pes20 · 0000-0001-9352-1013

Peter Teichner peterteichnerMax Planck Institute for Mathematics

PhD studentsDavid I. Spivak

people.mpim-bonn.mpg.de/teichner/Math/Home.html

Peter van Hardenberg petervanhardenberg

0000-0002-6295-9415

Peter White peterwhite

Philip Holmes philipholmes

PhD studentsRob Ghrist

Philip Johnson-Freyd philipjohnsonfreydPrincipal Member of Technical Staff -- Cybersecurity · Sandia National Laboratories California

PhDUniversity of Oregon

0000-0001-5973-0671

Philipp G. Haselwarter philippghaselwarterAssistant Professor · Aarhus University

PhD advisorAndrej Bauer

PhDUniversity of Ljubljana

haselwarter.org/~philipp · 0000-0003-0198-7751 · https://github.com/haselwarter

Philipp Stassen philippstassenAarhus University

PhD advisorLars Birkedal

PhDAarhus University

pure.au.dk/portal/en/persons/dcf5bf21-0adf-4a0e-bde4-c2044fe073e5 · 0000-0003-4600-777X

Philipp Zahn philippzahnCo-founder and CEO · 20squares

PhDUniversity of Mannheim

philipp-zahn.com

Philip Saville philipsaville

Philip Scott philipscott

Philip Wadler philipwadlerPrincipal Research Fellow, Input Output · Input Output (IOHK)

PhD advisorArie Nicolaas Habermann, Guy L. Steele Jr.

PhD studentsWen Kokke

PhDCarnegie Mellon University

UndergraduateStanford University

homepages.inf.ed.ac.uk/wadler · 0000-0001-7619-6378

Philip Zucker philipzucker

philipzucker.com · https://github.com/philzook58 · @sandmouth@types.pl

Phu Mon Htut phumonhtut

Pierre-Louis Curien pierrelouiscurienDirecteur de Recherche au CNRS émérite · IRIF (CNRS / Université Paris Cité), Inria πr2

PhD studentsGuillaume Munch-Maccagnoni, Thomas Ehrhard

PhDUniversité Paris Diderot

irif.fr/~curien · 0009-0000-1226-9574

Pierre Verbaeten pierreverbaeten

PhD studentsFrank Piessens

Pietro Monticone pietromonticone

Pinyu Hwang pinyuhwang

Piotr Miłkowski piotrmikowski

Piyush Patil piyushpatil

Pouya Pezeshkpour pouyapezeshkpourLead Research Scientist · Megagon Labs

PhD advisorSameer Singh

PhDUniversity of California, Irvine

pouyapez.github.io

Prakash Panangaden prakashpanangadenMcGill University

Pramod Bhatotia pramodbhatotiaFull Professor and Chair of Computer Systems · Technical University of Munich

PhDMax Planck Institute for Software Systems

dse.in.tum.de/bhatotia · 0000-0002-3220-5735

Pranav Srinivasan pranavsrinivasanPhD · University of Michigan

PhD advisorManos Kapritsos, Yatin Manerkar

PhDUniversity of Michigan

Master’sUniversity of Michigan

UndergraduateUniversity of Michigan

pransr.in · GenericMonkey

Pranjal Aggarwal pranjalaggarwalPhD student · Carnegie Mellon University

UndergraduateIndian Institute of Technology Delhi

pranjal2041.github.io · https://github.com/pranjal2041

Pranjal Sharma pranjalsharma

0000-0002-8217-173X

Pratap Singh pratapsingh

0009-0005-9903-0190

Pratyush Mishra pratyushmishraAssistant Professor · University of Pennsylvania

PhDUniversity of California, Berkeley

pratyushmishra.com · 0009-0000-6600-9719

Priti Oli pritioliComputer Science PhD Graduate

PhD advisorVasile Rus

PhDUniversity of Memphis

pritioli.github.io

Puming Liu pumingliuNew York University

ls.liupum.cc · 0009-0009-7095-564X

Pushkala Jayaraman pushkalajayaramanPostdoctoral Fellow · Icahn School of Medicine at Mount Sinai

Master’sGeorgia Institute of Technology

0000-0003-1159-8354

Qiancheng Fu qianchengfu

Qiaozhu Mei qiaozhumei

PhD advisorChengXiang Zhai

PhDUniversity of Illinois at Urbana-Champaign

Qing Lyu qinglyuResearch Scientist · Databricks Mosaic

PhDUniversity of Pennsylvania

UndergraduateTsinghua University

veronica320.github.io · https://github.com/veronica320

Qinhan Tan qinhantanPrinceton University

sites.google.com/view/qinhantan · 0000-0003-2475-3675

Qinlang Chen qinlangchen

Rabin Banjade rabinbanjadeUniversity of Memphis

0000-0001-8048-0558

Rachel Etta Rudolph rachelettarudolph

Rachit Nigam rachitnigamAssistant Professor · Massachusetts Institute of Technology

PhD advisorAdrian Sampson

PhDCornell University

UndergraduateUniversity of Massachusetts Amherst

rachitnigam.com · rachitnigam

Radames Cruz Moreno radamescruzmorenoMicrosoft

Radu Balan radubalanProfessor of Applied Mathematics · University of Maryland, College Park

PhD advisorIngrid C. Daubechies

PostdocsFushuai Jiang

PhDPrinceton University

math.umd.edu/~rvbalan

Radu Mardare radumardareUniversity of Strathclyde

Raefer Gabriel raefergabriel

Raef Maroof raefmaroof

0009-0004-5097-6519

Rafaël Bocquet rafaelbocquet

Rahel Habacker rahelhabacker

Rajeev Alur rajeevalurUniversity of Pennsylvania

PhD studentsSwarat Chaudhuri

PostdocsKonstantinos Mamouras

cis.upenn.edu/~alur

Rajiv Gupta rajivgupta

PhD studentsRastislav Bodik

Ralf Hinze ralfhinzeProfessor · RPTU Kaiserslautern-Landau

PhD advisorArmin Bernd Cremers

PhD studentsCass Alexandru, Niels van der Weide

PhDUniversity of Bonn

pl.cs.uni-kl.de/homepage/en/staff/RalfHinze · 0000-0001-5678-0286

Ralf Jung ralfjung

Ralph Matthes ralphmatthesCNRS Délégation Midi-Pyrénées

0000-0002-7299-2411

Ramalingam Chellappa ramalingamchellappa

PhD studentsVolkan Cevher

Ramana Kumar ramanakumar

Ramon Rakow ramonrakow

Ramon Risco ramonrisco

Ranald Clouston ranaldclouston

PhD advisorAndrew M. Pitts

PhDUniversity of Cambridge

RanDair Porter randairporter

Raphaël Millière raphaelmilliereAssociate Professor · University of Oxford

raphaelmilliere.com · 0000-0001-6965-6073

Raquel Fernández raquelfernandez

PhD studentsMario Giulianelli

Raquel Urtasun raquelurtasunWaabi

PhD studentsMengye Ren

PhDÉcole Polytechnique Fédérale de Lausanne

UndergraduateUniversidad Pública de Navarra (UPNA)

cs.toronto.edu/~urtasun

Rasmus Ejlers Møgelberg rasmusmogelberg

Rastislav Bodik rastislavbodik

PhD advisorMary Lou Soffa, Rajiv Gupta

PhD studentsSarah Chasins

PhDUniversity of Pittsburgh

Ravi Chugh ravichughUniversity of Chicago

PostdocsCyrus Omar

people.cs.uchicago.edu/~rchugh · 0000-0002-1339-2889

Ravi Ramamoorthi raviramamoorthiUniversity of California San Diego

PhD advisorPat Hanrahan

PhD studentsMukund Varma T

PhDStanford University

cseweb.ucsd.edu/~ravir

Raymond Richards raymondrichards

R. Blackwell rblackwell

Rebeca Bender rebecabender

Rebecca Lentz rebeccalentz

Reed Mullanix reedmullanixPhD · McMaster University

PhD advisorJacques Carette

UndergraduateUniversity of British Columbia

reedmullanix.com · 0000-0002-7970-4961 · TOTBWF · @totbwf@types.pl

Reed Oei reedoei

reedoei.com · https://github.com/ReedOei

Regina Barzilay reginabarzilayMassachusetts Institute of Technology

PhD advisorKathleen Rose McKeown

PhD studentsTal Schuster

PhDColumbia University

regina.csail.mit.edu

Rémi Douence remidouenceIMT Atlantique

Remy Willems remywillemsAmazon

Remzi Can Aksoy remzicanaksoy

René Just renejustUniversity of Washington

PhD studentsHannah Potter

0000-0002-5982-275X

Renjie Liao renjieliao

Reto Achermann retoachermannAssistant Professor · Technical University of Munich

retoachermann.ch · 0000-0003-3263-7236

Reynald Affeldt reynaldaffeldtNational Institute of Advanced Industrial Science and Technology

0000-0002-2327-953X

Rhythm Garg rhythmgarg

Rian Shambaugh rianshambaugh

Riccardo Patana riccardopatana

Richard Barnes richardbarnes

Richard Bird richardbirdUniversity of Oxford

PhD advisorMichael Bell

PhD studentsJeremy Gibbons

PhDImperial College London

cs.ox.ac.uk/people/richard.bird

Richard A. Eisenberg richardeisenberg

Richard E. Turner richardeturner

PhD advisorManeesh Sahani

PhD studentsShixiang Shane Gu

PhDUniversity College London

Richard Montague richardmontague

Richard E. Stearns richardstearns

Richard Zemel richardzemelProfessor, Department of Computer Science · University of Toronto

PhD advisorGeoffrey Hinton

PhD studentsMengye Ren

PhDUniversity of Toronto

cs.toronto.edu/~zemel

Rico Sennrich ricosennrichAssociate Professor, Text Technology · University of Zurich

PhD advisorMartin Volk

PhD studentsDenis Emelin

PhDUniversity of Zurich

cl.uzh.ch/en/research-groups/texttechnologies/Team/Current-Members/sennrich.html

Rif A. Saurous rifasaurous

Riku Arakawa rikuarakawa

Rini Banerjee rinibanerjeePhD Student, Department of Computer Science and Technology · University of Cambridge

PhD advisorNeel Krishnaswami, Peter Sewell

Master’sImperial College London

rinibanerjee.com · 0009-0008-6360-3972

Rishiyur Sivaswami Nikhil rishiyursivaswaminikhil

PhD advisorPeter Buneman

PhD studentsSuresh Jagannathan

PhDUniversity of Pennsylvania

Riu Rodríguez Sakamoto riurodriguezsakamotoPhD student · University of Strathclyde

Master’sUniversidad de Sevilla

UndergraduateUniversidad de Sevilla

riurodsak.github.io

R. Kent Dybvig rkentdybvig

PhD advisorGyula Antal Mago

PhD studentsMichael D. Adams

PhDUniversity of North Carolina at Chapel Hill

Robbe Raymaekers robberaymaekers

Robbert Krebbers robbertkrebbers

PhD studentsJules Jacobs

Robert Atkey robertatkeySenior Lecturer · University of Strathclyde

PhD advisorDavid Aspinall

PhDUniversity of Edinburgh

bentnib.org · 0000-0002-4414-5047 · bobatkey · @bentnib@types.pl

Robert Bruce Findler robertfindlerProfessor · Northwestern University

PhDRice University

UndergraduateCarnegie Mellon University

users.cs.northwestern.edu/~robby

Robert Frank robertfrankProfessor · Yale University

PhDUniversity of Pennsylvania

bobfrank1.github.io

Robert Gruber robertgruber

Robert Harper robertharper

PhD studentsCarlo Angiuli, Evan Cavallo, Harrison Grodin, Jon Sterling, Kuen-Bang Hou (Favonia), Yue Niu

Robert J. Simmons robertjsimmonsPart Time Lecturer · Northeastern University

PhD studentsDaniel P. Friedman

PhDCarnegie Mellon University

typesafety.net/rob · 0000-0003-2420-3067 · robsimmons

Robert Kirk robertkirk

Robert Langlands robertlanglands

PhD advisorCassius Ionescu Tulcea

PhD studentsTom Hales

PhDYale University

Robert Lee Constable robertleeconstableCornell University

PhD advisorStephen Cole Kleene

PhD studentsEdmund Clarke, Karl Crary, Steven S. Muchnick

PhDUniversity of Wisconsin–Madison

Master’sUniversity of Wisconsin–Madison

UndergraduatePrinceton University

cs.cornell.edu/home/rc

Robert M. Gray robertmgray

PhD studentsMari Ostendorf

Roberto Di Cosmo robertodicosmoInria

PhD studentsVincent Balat

dicosmo.org · 0000-0002-7493-5349

Robert A. G. Seely robertseely

Robert Todd Gregory roberttoddgregory

PhD studentsTerrence Wendall Pratt

Robert Wilbur Dutton robertwilburdutton

PhD studentsMark Horowitz

Robert Y. Lewis robertylewisBrown University

PhD studentsEric Zhao

0000-0002-5266-1121

Rob Ghrist robghristUniversity of Pennsylvania

PhD advisorPhilip Holmes

PostdocsPaige Randall North

PhDCornell University

www2.math.upenn.edu/~ghrist

Robin Kaarsgaard robinkaarsgaardAssociate professor · University of Southern Denmark

PhDUniversity of Copenhagen

Master’sUniversity of Copenhagen

UndergraduateUniversity of Copenhagen

rkaarsgaard.github.io · 0000-0002-7672-799X · https://github.com/rkaarsgaard

Robin Milner robinmilner

PhD studentsPeter Sewell

Robin Piedeleu robinpiedeleuResearch Fellow · University College London

PhD advisorBob Coecke, Samson Abramsky

PhDUniversity of Oxford

piedeleu.com · 0000-0002-3945-2704

Robin Salkeld robinsalkeldApplied Scientist · Amazon

amazon.science/author/robin-salkeld

Rob van Glabbeek robvanglabbeekRoyal Society Wolfson Fellow and Professor · University of Edinburgh

theory.stanford.edu/~rvg · 0000-0003-4712-7423

Rodney Martineau Burstall rodneymartineauburstall

PhD advisorK. Brian Haley, Norman Alfred Dudley

PhD studentsConor McBride, Donald Sannella, James McKinna, John Darlington

PhDUniversity of Birmingham

Master’sUniversity of Birmingham

UndergraduateUniversity of Cambridge

Rohan Sikand rohansikand

Romain Edelmann romainedelmann

Roman Novak romannovak

Roman Sitelew romansitelew

Ronald Brown ronaldbrown

PhD studentsAnthony Karel Seda

Ronan LeBras ronanlebrasSenior Research Scientist · Allen Institute for Artificial Intelligence

PhDCornell University

Master’sPolytechnique Montréal

UndergraduatePolytechnique Montréal

rlebras.github.io

Ronghui Gu ronghuigu

Ron Kimmel ronkimmel

PhD studentsMichael Bronstein

Rosanne Liu rosanneliuGoogle DeepMind

PhDNorthwestern University

Master’sUniversity of Michigan

UndergraduateFudan University

Rose Bohrer rosebohrerNational Institute of Advanced Industrial Science and Technology

UndergraduateCarnegie Mellon University

0000-0001-5201-9895

Rosemary Monahan rosemarymonahanNational University of Ireland, Maynooth

PhDDublin City University

Master’sUniversity College Dublin

UndergraduateUniversity College Dublin

0000-0003-3886-4675

Ross Paterson rosspaterson

staff.city.ac.uk/~ross · 0000-0002-5430-6609

Ross Tate rosstate

Rowan Davies rowandavies

PhD advisorFrank Pfenning

PhDCarnegie Mellon University

Rowan Jacobs rowanjacobs

Rubén Maldonado rubenmaldonado

Ruben Martins rubenmartins

Ruijie Fang ruijiefangPrinceton University

tr5.org/~ruijie · 0000-0001-5348-5468

Rui Li ruiliM.S. Student · Carnegie Mellon University

Rui Wang ruiwang

0009-0005-8109-7688

Rui Zhang ruizhang

Runming Li runmingli

Runze Xue runzexue

Runzhou Tao runzhoutao

Rusheb Shah rushebshah

Ruslan Salakhutdinov ruslansalakhutdinovUPMC Professor of Computer Science · Carnegie Mellon University

PhD advisorGeoffrey Hinton

PhDUniversity of Toronto

cs.cmu.edu/~rsalakhu

R. Vaubel rvaubel

PhD studentsViktor Winschel

R. Wesley Henderson rwesleyhenderson

Ryan Chi ryanchi

Ryan Cotterell ryancotterellETH Zurich

PhD advisorJason Michael Eisner

PostdocsAlex Warstadt, Mario Giulianelli

PhDJohns Hopkins University

UndergraduateJohns Hopkins University

rycolab.io/authors/ryan · https://github.com/ryancotterell

Ryan Gardner ryangardnerComputer scientist · Johns Hopkins University Applied Physics Laboratory

Ryan Lee ryanlee

UndergraduatePrinceton University

seungjaeryanlee.com · https://github.com/seungjaeryanlee

Ryan Stovall ryanstovall

Ryan Teehan ryanteehanPhD student, NYU Center for Data Science · New York University

PhD advisorMengye Ren

Master’sUniversity of Chicago

UndergraduateUniversity of Chicago

rteehas.github.io · https://github.com/rteehas

Rylan Yang rylanyang

Sachille Atapattu sachilleatapattu

Sahana Chennabasappa sahanachennabasappa

Sahib Singh sahibsingh

Saif M. Mohammad saifmmohammadPrincipal Research Scientist · National Research Council Canada

PhD advisorGraeme Hirst

PhDUniversity of Toronto

saifmohammad.com

Sajant Anand sajantanand

Saketh Ram Kasibatla sakethramkasibatlaPh.D. Student · University of California San Diego

saketh.kasibat.la · 0009-0003-1972-7146

Saman Amarasinghe samanamarasingheMassachusetts Institute of Technology

PhD advisorMonica Sin-Ling Lam

PhD studentsJonathan Ragan-Kelley

PhDStanford University

people.csail.mit.edu/saman · https://github.com/samanamarasinghe

Sam Dillavou samdillavou

Sameer Singh sameersinghUniversity of California, Irvine

PhD advisorAndrew Kachites McCallum

PhD studentsPouya Pezeshkpour

PhDUniversity of Massachusetts Amherst

sameersingh.org

Sam Harwell samharwell

Sam Huang samhuang

Samin Ishtiaq saminishtiaq

Sam Lasser samlasser

Sam Lindley samlindleyReader in Programming Language Design and Implementation · University of Edinburgh

PhD advisorIan Stark, Stephen David Gilmore

PhD studentsDaniel Hillerström

PostdocsCristina Matache

PhDUniversity of Edinburgh

homepages.inf.ed.ac.uk/slindley · 0000-0002-1360-4714

Sam Shleifer samshleifer

Samson Abramsky samsonabramskyEmeritus Professor · University of Oxford

PhD studentsLuke Ong, Robin Piedeleu, Sam Speight

cs.ox.ac.uk/people/samson.abramsky

Sam Speight samspeightResearch Fellow · University of Birmingham

PhD advisorSamson Abramsky

PhDUniversity of Oxford

Master’sCarnegie Mellon University

UndergraduateUniversity of Bristol

slspeight.github.io · 0009-0009-3706-9427 · https://github.com/slspeight

Sam Staton samstatonProfessor of Computer Science · University of Oxford

PhD advisorMarcelo P. Fiore

PhD studentsAntonin Delpeuch, Cristina Matache

PostdocsDaniel Gratzer, Hugo Paquet, Sean Moss

PhDUniversity of Cambridge

cs.ox.ac.uk/people/samuel.staton/main.html · 0000-0002-7149-3805

Sam Stites samstitesPh.D. Student · Northeastern University

0000-0003-0935-1010

Sam Tobin-Hochstadt samtobinhochstadtAssociate Professor · Indiana University

PhDNortheastern University

samth.github.io · https://github.com/samth

Samuel Baxter samuelbaxter

Samuel Eilenberg samueleilenberg

PhD advisorKarol Borsuk, Kazimierz Kuratowski

PhD studentsMyles Tierney

PhDUniversity of Warsaw

Samuel Gruetter samuelgruetterPostdoc · ETH Zurich

PhD advisorAdam Chlipala

Postdoc advisorTimothy Roscoe

PhDMassachusetts Institute of Technology

Master’sÉcole Polytechnique Fédérale de Lausanne

UndergraduateÉcole Polytechnique Fédérale de Lausanne

samuelgruetter.net

Samuel R. Bowman samuelrbowmanAnthropic

PhD advisorChristopher D. Manning, Christopher Potts

PhD studentsAlex Warstadt, Jason Phang

PhDStanford University

sleepinyourhat.github.io

Samuel S. Schoenholz samuelsschoenholz

Samuel Thomas samuelthomasGraduate student · University of Texas at Austin

cs.utexas.edu/~sgt · 0009-0004-1412-2241 · https://github.com/sgpthomas

Samvid Dharanikota samviddharanikotaCarnegie Mellon University

samvid.me · 0009-0003-1489-2425

Sam Wiseman samwiseman

PhD advisorSasha Rush, Stuart M. Shieber

PhDHarvard University

swiseman.github.io · https://github.com/swiseman

Samy Wu Fung samywufungColorado School of Mines

0000-0002-2926-4582

Sandeep Sthapit sandeepsthapitNorth Carolina State University

PhDNorth Carolina State University

sandeepsthapit.com · 0009-0007-6426-9825

Sanghyun Han sanghyunhan

Sangmin Lee sangminleeKyung Hee University

0000-0002-4396-6118

Sanjeev Arora sanjeevarora

PhD advisorUmesh Virkumar Vazirani

PostdocsBehnam Neyshabur, Nicholas Roberts

PhDUniversity of California, Berkeley

Sanjeevi Krishnan sanjeevikrishnan

PhD advisorJ. Peter May

PostdocsPaige Randall North

PhDUniversity of Chicago

Sanjeev Kwatra sanjeevkwatra

Sanjit A. Seshia sanjitseshia

Sanjiv Ranchod sanjivranchodUniversity of Cambridge

Sarah A. Rous saraharous

Sarah Cai sarahcaiDatabricks

0009-0005-9368-7781

Sarah Chasins sarahchasinsAssociate Professor · University of California, Berkeley

PhD advisorRastislav Bodik

PhD studentsSarah Lim

PhDUniversity of California, Berkeley

UndergraduateSwarthmore College

schasins.com · 0000-0003-0557-3580 · https://github.com/schasins

Sarah Lim sarahlim

PhD advisorSarah Chasins

UndergraduateNorthwestern University

slim.computer · sliminality · @sliminality@types.pl

Sarah Martin sarahmartin

0009-0003-5366-4118

Sarah W. Robison sarahwrobison

0000-0002-1058-2273

Sarik Ghazarian sarikghazarian

Sasha Rush sasharushML Researcher, Cursor · Cursor

PhD studentsSam Wiseman

rush-nlp.com · https://github.com/srush

Sasha Soraine sashasorainePostdoctoral Research Fellow in Human Computer Interaction · The University of Melbourne

PhDMcMaster University

Master’sMcMaster University

cas.mcmaster.ca/~sorainsm · 0000-0002-7261-9836

Satish Narayanasamy satishnarayanasamyUniversity of Michigan

PhD studentsJonah Rosenblum

web.eecs.umich.edu/~nsatish · 0000-0001-5016-1214

Satoshi Kura satoshikura

Saunders Mac Lane saundersmaclane

PhD studentsSteve Awodey

Sayan Ghosh sayanghoshPhD student in Computer Science · University of North Carolina at Chapel Hill

PhD advisorShashank Srivastava

UndergraduateIndian Institute of Technology Kharagpur

sgdgp.github.io · https://github.com/sgdgp

Scott Grumley scottgrumleyUniversity of Alabama at Birmingham

0000-0001-8285-2423

Scott Guest scottguest

0009-0005-1751-6470

Scott Owens scottowens

S. C. Steenkamp scsteenkamp

0000-0003-3105-4098

Sean Bocirnea seanbocirneaUniversity of British Columbia

passingti.me · 0009-0007-5231-8618

Sean Casey seancasey

Sean McLaughlin seanmclaughlinAmazon

0000-0002-7042-6424

Sean Moss seanmossAssistant Professor, School of Computer Science · University of Birmingham

PhD advisorMartin Hyland

Postdoc advisorSam Staton

PhDUniversity of Cambridge

seankmoss.bitbucket.io · 0009-0005-3930-5340

Sean Welleck seanwelleckAssistant Professor · Carnegie Mellon University

PhD advisorKyunghyun Cho

Postdoc advisorYejin Choi

PhDNew York University

wellecks.com · https://github.com/wellecks

Sebastian Bischoff sebastianbischoff

Sebastian Gehrmann sebastiangehrmann

Sebastian Schuster sebastianschusterAssistant Professor · University of Vienna

PhD advisorChristopher D. Manning, Judith Degen

Postdoc advisorTal Linzen

PhDStanford University

sebschu.com · https://github.com/sebschu

Sebastian Thrun sebastianthrunAdjunct Professor · Stanford University

PhD advisorArmin Bernd Cremers, Tom M. Mitchell

PhD studentsMo Tiwari

PhDUniversity of Bonn

robots.stanford.edu

Sébastien Mattenet sebastienmattenet

Sepideh Sadeghi sepidehsadeghi

Serdar Tasiran serdartasiranPrincipal Applied Scientist · Amazon

amazon.science/author/serdar-tasiran

Sergei Stepanenko sergeistepanenkoPostdoc · Aarhus University

PhD advisorLars Birkedal

PhDAarhus University

kaptch.link · 0000-0002-7322-5644 · https://github.com/Kaptch

Serra Dane serradanePhD · University of Michigan

PhD advisorJean-Baptiste Jeannin

PhDUniversity of Michigan

UndergraduateUniversity of Colorado Boulder

serradane.github.io/serradane · 0009-0008-9028-6597 · https://github.com/szdane

Seth Cooper sethcooperAssociate Professor, Khoury College of Computer Sciences · Northeastern University

PhD advisorZoran Popović

PhDUniversity of Washington

khoury.northeastern.edu/home/scooper · 0000-0003-4504-0877

Seth Frey sethfreyAssistant Professor · University of California, Davis

PhDIndiana University Bloomington

UndergraduateUniversity of California, Berkeley

enfascination.com/research · 0000-0002-5298-5089

Shadi Hamdan shadihamdan

Sham Kakade shamkakade

PhD advisorPeter Samuel Dayan

PhD studentsBenjamin L. Edelman

PhDUniversity College London

Shannon Veitch shannonveitchETH Zurich

0000-0002-8981-5593

Sharad Malik sharadmalikGeorge Van Ness Lothrop Professor of Engineering · Princeton University

PhDUniversity of California, Berkeley

princeton.edu/~sharad · 0000-0002-0837-5443

Sharfi Rahman sharfirahmanGraduate Research Assistant · Colorado School of Mines

0009-0003-2291-1251

Sharon Shoham sharonshoham

Sharon Ye sharonye

Sharon Zhou sharonzhou

Shashank Srivastava shashanksrivastavaUNC Chapel Hill

PhD studentsSayan Ghosh

Shayan Jalili shayanjalili

0000-0003-1535-5579

Shaz Qadeer shazqadeerMicrosoft

Sherry Shi sherryshi

Shibo Chen shibochenPlatform Architect · Tenstorrent

PhDUniversity of Michigan

UndergraduateUniversity of Michigan

shibo.tech · 0000-0002-9522-8934

Shikhar Singh shikharsingh

Shima Asaadi shimaasaadi

Shin-ya Katsumata shinyakatsumataProfessor · Kyoto Sangyo University

group-mmm.org/~s-katsumata · 0000-0001-7529-5489

Shiri Dori-Hacohen shiridorihacohen

Shixiang Shane Gu shixiangshaneguSenior Staff Research Scientist · Google DeepMind

PhD advisorBernhard Schölkopf, Richard E. Turner, Zoubin Ghahramani

PhDUniversity of Cambridge

UndergraduateUniversity of Toronto

sites.google.com/view/gugurus/home

Shiying Li shiyingli

Shizhuo Dylan Zhang shizhuodylanzhangShanghai Jiao Tong University

Shreyas Srinivas shreyassrinivas

Shriram Krishnamurthi shriramkrishnamurthiProfessor · Brown University

PostdocsWill Crichton

cs.brown.edu/~sk · 0000-0001-5184-1975

Shubham Toshniwal shubhamtoshniwalSenior Research Scientist · Databricks Mosaic

PhD advisorKaren Livescu, Kevin Gimpel

UndergraduateIndian Institute of Technology Kanpur

shtoshni.github.io · https://github.com/shtoshni

Shubh Pachchigar shubhpachchigar

Shulin Pan shulinpan

Shyamolima Debnath shyamolimadebnath

Shyam Upadhyay shyamupadhyayStaff Research Scientist and Manager · Google

PhD advisorDan Roth

PhDUniversity of Pennsylvania

UndergraduateIndian Institute of Technology Kanpur

shyamupa.com · https://github.com/shyamupa

Siamak Shakeri siamakshakeri

Sid Black sidblack

Sidney Congard sidneycongard

Sienna Rucka siennarucka

Sihang Liu sihangliuAssistant Professor · University of Waterloo

0000-0001-9706-6177

Simcha van Collem simchavancollemRadboud University

0009-0004-9621-1415

Simone Martini simonemartini

PhD studentsStefano Guerrini

Simone Melzi simonemelziAssociate Professor · University of Milano-Bicocca

Postdoc advisorEmanuele Rodola, Maks Ovsjanikov

PhDUniversity of Verona

sites.google.com/site/melzismn

Simon Friis Vindum simonfriisvindumAarhus University

0000-0002-4617-4976

Simon Huber simonhuber

Simon Oddershede Gregersen simonoddershedegregersenTenure-Track Faculty · Helmholtz Center for Information Security

PhD advisorAmin Timany, Lars Birkedal

Postdoc advisorJoseph Tassarotti

PhDAarhus University

simongregersen.com · 0000-0001-6045-5232 · https://github.com/simongregersen

Simon Peyton Jones simonpeytonjones

simon.peytonjones.org · 0000-0002-6085-1435

Simon Spies simonspies

Simon Thormeyer simonthormeyer

Siva Reddy sivareddyAssociate Professor · McGill University

PhD advisorMark Steedman, Mirella Lapata

Postdoc advisorChristopher D. Manning

PhDUniversity of Edinburgh

sivareddy.in · https://github.com/sivareddyg

Siva Somayyajula sivasomayyajulaApplied Scientist · Amazon

PhDCarnegie Mellon University

UndergraduateCornell University

cs.cmu.edu/~ssomayya · 0000-0002-9654-8411

Sneha Priscilla Makini snehapriscillamakini

Soheil Feizi soheilfeiziUniversity of Maryland, College Park

web.stanford.edu/~sfeizi · 0000-0003-0944-8242

Solomon Feferman solomonfefermanStanford University

PhD advisorAlfred Tarski

PhD studentsUlrik Buchholtz

PhDUniversity of California, Berkeley

UndergraduateCalifornia Institute of Technology

Solomon Maina solomonmaina

Somesh Jha someshjha

0000-0001-5877-0436

Sonya Simkin sonyasimkin

Soo-Hwan Lee soohwanlee

Soonho Kong soonhokongPrincipal Applied Scientist · Amazon Web Services

PhD advisorEdmund Clarke

PhDCarnegie Mellon University

soonhokong.github.io · https://github.com/soonhokong

Sophia Roshal sophiaroshalPhD student · Carnegie Mellon University

UndergraduateCornell University

sophiasr.github.io · 0009-0001-8574-3705

Sorawee Porncharoenwase soraweeporncharoenwaseAmazon

PhDUniversity of Washington

0000-0003-3900-5602

Sorin Lerner sorinlernerCornell University

PostdocsEmily First

cs.cornell.edu/~lerner · 0000-0003-3957-0628

Spencer Smith spencersmithAssociate Professor, Department of Computing and Software · McMaster University

PhDMcMaster University

Master’sMcMaster University

UndergraduateMcMaster University

cas.mcmaster.ca/~smiths · 0000-0002-0760-0987

Spencer Torene spencertorene

Spencer Van Koevering spencervankoeveringPhD Student · Cornell University

0009-0008-5026-8060

Spencer Whitman spencerwhitman

Sriharsha Hatwar sriharshahatwar

Srinath Setty srinathsettyMicrosoft

S. Shankar Sastry ssastry

PhD studentsAaron D. Ames

Stacy Marsella stacymarsellaNortheastern University

0000-0002-5711-7934

Stanislas Dehaene stanislasdehaene

Stanislaw Lesniewski stanislawlesniewski

PhD studentsAlfred Tarski

Stanley Bak stanleybak

Stefan Divic stefandivic

Stefan Jähnichen stefanjahnichen

PhD studentsBernhard Schölkopf

Stefan Mitsch stefanmitschDePaul University

facweb.cdm.depaul.edu/smitsch · 0000-0002-3194-9759

Stefano Ermon stefanoermon

PhD studentsChenlin Meng

PostdocsJiaming Song

Stefano Guerrini stefanoguerriniUniversité Sorbonne Paris Nord

PhD advisorCorrado Böhm, Simone Martini

PhD studentsLê Thành Dũng Nguyên

PhDUniversity of Pisa

lipn.univ-paris13.fr/~guerrini/home

Stefan Saroiu stefansaroiuMicrosoft

0009-0007-1318-1719

Stefan Zetzsche stefanzetzscheApplied Scientist · Amazon

zetzsche.st · 0009-0001-1304-0613

Steffen Smolka steffensmolkaStaff Software Engineer · Google

PhD advisorNate Foster

PhDCornell University

UndergraduateTechnical University of Munich

smolka.st · https://github.com/smolkaj/

Stella Biderman stellabidermanExecutive Director · The EleutherAI Institute

Master’sGeorgia Institute of Technology

UndergraduateUniversity of Chicago

0000-0001-8228-1042

Stephanie Balzer stephaniebalzerAssociate Professor · Carnegie Mellon University

PhD advisorThomas R. Gross

PhD studentsJules Jacobs, Tesla Zhang

cs.cmu.edu/~balzers · 0000-0002-8347-3529

Stephanie Lin stephanielin

Stephanie Nawas stephanienawas

Stephanie Weirich stephanieweirichENIAC President's Distinguished Professor of Computer and Information Science · University of Pennsylvania

PhD studentsJonathan Chan, Yiyun Liu

PhDCornell University

Master’sCornell University

UndergraduateRice University

cis.upenn.edu/~sweirich · sweirich

Stephen A. Ramsey stephenaramseyOregon State University

lab.saramsey.org · 0000-0002-2168-5403

Stephen Arthur Cook stephenarthurcook

PhD studentsPaul Beame

Stephen Cole Kleene stephencolekleene

PhD studentsRobert Lee Constable

Stephen David Gilmore stephendavidgilmore

PhD studentsSam Lindley

Stephen C. Johnson stephenjohnson

Stephen Prasad stephenprasad

Steve Awodey steveawodeyCarnegie Mellon University

PhD advisorSaunders Mac Lane, William Walker Tait

PhD studentsFloris van Doorn

PostdocsUlrik Buchholtz

PhDUniversity of Chicago

awodey.github.io · https://github.com/awodey

Steve Lack stevelack

Steven Bronsveld stevenbronsveldRadboud University

0009-0003-0477-6711

Steven Holtzen stevenholtzenAssistant Professor · Northeastern University

PhD studentsJohn Li

PhDUniversity of California, Los Angeles

khoury.northeastern.edu/home/sholtzen · 0000-0002-8190-5412

Steven Keuchel stevenkeuchelKU Leuven

researchportal.vub.be/en/persons/8a6b2a46-c673-40fa-b625-81699655f651 · 0000-0001-6411-438X

Steven Kleiman stevenkleiman

PhD advisorOscar Zariski

PhD studentsDaniel R. Grayson

PhDHarvard University

Steven Lyde stevenlyde

Steven Rodems stevenrodems

Steven Schaefer stevenschaeferPhD · University of Michigan

PhD advisorMax S. New

PhDUniversity of Michigan

UndergraduateUniversity of Michigan

I study the design and implementation of intrinsically correct software. In a sufficiently rich type system, a program’s type signature alone can carry a proof that it behaves as specified.

I am especially interested in verified compiler frontends, where parsing and typechecking algorithms can be built correct-by-construction.

Outside of research, I like to bake, garden, climb, play chess and play Tetris. Please send me a challenge in either (or anything else for that matter).

stevenschaefer.net · stschaef@umich.edu · 0009-0007-1258-9501 · stschaef · @stschaef@mathstodon.xyz · Google Scholar · dblp · CV

Steven S. Muchnick stevensmuchnick

PhD advisorRobert Lee Constable

PhD studentsUwe F. Pleban

PhDCornell University

Steven T. Piantadosi steventpiantadosiUniversity of California, Berkeley

colala.berkeley.edu/people/piantadosi · https://github.com/piantado

Steve Zdancewic stevezdancewicSchlein Family President's Distinguished Professor · University of Pennsylvania

PhD advisorAndrew C. Myers

PhDCornell University

Master’sCornell University

UndergraduateCarnegie Mellon University

cis.upenn.edu/~stevez · 0000-0002-3516-1512

Stuart M. Shieber stuartmshieber

PhD studentsSam Wiseman

Sukyoung Ryu sukyoungryuKorea Advanced Institute of Science and Technology

0000-0002-0019-9772

Suman Jana sumanjana

Summer Misherghi summermisherghi

Sundara Vishnu Satish sundaravishnusatishPhD Student · Courant Institute of Mathematical Sciences

UndergraduateUniversity of Michigan

0009-0002-8685-1342

Suresh Jagannathan sureshjagannathanSamuel D. Conte Professor of Computer Science · Hue University of Education

PhD advisorRishiyur Sivaswami Nikhil

PhD studentsYongwei Yuan

PhDMassachusetts Institute of Technology

cs.purdue.edu/homes/suresh

Susan Speer Owicki susanspeerowicki

PhD advisorDavid Gries

PhD studentsDavid Gifford

PhDCornell University

Svetlana Kiritchenko svetlanakiritchenko

Swarat Chaudhuri swaratchaudhuriUniversity of Texas at Austin

PhD advisorRajeev Alur

PostdocsAnders Miltner

PhDUniversity of Pennsylvania

UndergraduateIndian Institute of Technology Kharagpur

cs.utexas.edu/~swarat

Swaroop Mishra swaroopmishra

Sy David Friedman sydavidfriedman

PhD studentsAndrew Brooke-Taylor

Sydney Gibson sydneygibsonSecurity engineering manager · Google

Master’sMassachusetts Institute of Technology

UndergraduateMassachusetts Institute of Technology

sydgibs.com · 0000-0002-8336-5405

Sylvain Conchon sylvainconchon

PhD advisorJean-Jacques Lévy

PhD studentsMohamed Iguernelala

PhDUniversité Paris Diderot

Sylvain Pogodalla sylvainpogodalla

Tae Joon Byun taejoonbyun

Talia Ringer taliaringerAssistant Professor · University of Illinois at Urbana-Champaign

PhD advisorDan Grossman

PhDUniversity of Washington

UndergraduateUniversity of Maryland, College Park

dependenttyp.es · 0000-0003-1854-3321 · tlringer

Tal Linzen tallinzenAssociate Professor of Linguistics and Data Science · New York University

PostdocsSebastian Schuster

PhDNew York University

Master’sTel Aviv University

UndergraduateTel Aviv University

Tal Schuster talschusterResearch Scientist · Google

PhD advisorRegina Barzilay

PhDMassachusetts Institute of Technology

Master’sTel Aviv University

UndergraduateBen-Gurion University

people.csail.mit.edu/tals · https://github.com/TalSchuster

Tamara von Glehn tamaravonglehn

Tancrède Lepoint tancredelepointAmazon Web Services Inc

tancre.de · 0000-0003-3796-042X

Tanjona Ralaivaosaona tanjonaralaivaosaona

Tanner Emek tanneremek

Tao Li taoliResearcher and engineer · Google DeepMind

PhD advisorVivek Srikumar

PhDUniversity of Utah

users.cs.utah.edu/~tli

Tao Yu taoyuAssistant Professor, Department of Computer Science · The University of Hong Kong

PhD advisorDragomir Radev

Postdoc advisorLuke Zettlemoyer, Mari Ostendorf, Noah Smith

PhDYale University

Master’sColumbia University

UndergraduateUniversity of Utah

taoyds.github.io

Tarcísio Haroldo Cavalcante Pequeno tarcisioharoldocavalcantepequeno

PhD studentsEdward Hermann Haeusler

Tariq Ali tariqali

Tarmo Uustalu tarmouustalu

PhD studentsNiccolò Veltri

Tatsunori Hashimoto tatsunorihashimotoAssistant Professor, Computer Science Department · Stanford University

PhD advisorDavid Gifford, Tommi Jaakkola

Postdoc advisorJohn C. Duchi, Percy Liang

PhDMassachusetts Institute of Technology

UndergraduateHarvard

thashim.github.io · 0000-0003-0521-5855

Taylor T. Johnson taylorjohnson

Taylor Riche taylorricheR&D Director · National Instruments

PhDUniversity of Texas at Austin

0009-0001-3561-4825

Tej Chajed tejchajed

chajed.io · 0000-0002-9889-4828

Te-Lin Wu telinwu

PhD advisorNanyun Peng

PhDUniversity of California, Los Angeles

Master’sStanford University

UndergraduateNational Tsing Hua University

telin0411.github.io

Temesghen Kahsai temesghenkahsai

0000-0002-4616-5084

Terence Parr terenceparrFaculty Emeritus, Computer Science · University of San Francisco

PhDHue University of Education

parrt.cs.usfca.edu · 0000-0001-8296-7888 · https://github.com/parrt

Terence Tao terencetaoProfessor · UCLA

math.ucla.edu/~tao · @tao@mathstodon.xyz

Terrence Wendall Pratt terrencewendallpratt

PhD advisorRobert Todd Gregory

PhD studentsDaniel P. Friedman

PhDUniversity of Texas at Austin

Tesla Zhang teslazhangPhD · Carnegie Mellon University

PhD advisorStephanie Balzer

ice1000.org · 0000-0002-9050-846X · ice1000

Themistocles L Assimes themistocleslassimesAttending Cardiologist · VA Palo Alto Health Care System

PhDMcGill University

Master’sMcGill University

profiles.stanford.edu/tim_assimes · 0000-0003-2349-0009

Théo Desbordes theodesbordes

Theodore Bauer theodorebauer

Theodore Rothschild theodorerothschild

Thibaut Pérami thibautperamiPhD student · University of Cambridge

cl.cam.ac.uk/~tp496 · 0009-0005-0005-7618

Thierry Coquand thierrycoquandProfessor · University of Gothenburg

PhD advisorGérard Huet

PostdocsEvan Cavallo

PhDUniversité Paris Diderot

cse.chalmers.se/~coquand · 0000-0002-5429-5153

Thi K. Tran-Nguyen thiktrannguyenPostdoctoral Fellow · University of Alabama at Birmingham

PhDUniversity of Alabama at Birmingham

UndergraduateSaint John’s College

0000-0002-2732-2320

Thomas Bauereiss thomasbauereissUniversity of Cambridge

0000-0001-9607-8942

Thomas Ehrhard thomasehrhardUniversité Paris Cité

PhD advisorPierre-Louis Curien

PhD studentsGuillaume Munch-Maccagnoni

PhDUniversité Paris Diderot

irif.fr/~ehrhard · 0000-0001-5231-5504

Thomas Flinkow thomasflinkow

cs.nuim.ie/~tflinkow · 0000-0002-8075-2194

Thomas Gilray thomasgilrayAssociate Professor · Washington State University

PhDUniversity of Utah

Master’sUniversity of Utah

UndergraduateUniversity of Oregon

thomas.gilray.org · 0000-0002-0393-8542

Thomas Hofmann thomashofmann

PhD studentsAntonio Orvieto

Thomas Lu thomasluCornell University

0009-0000-3474-6263

Thomas Phan thomasphan

Thomas Porter thomasporterPhD · University of Michigan

PhD advisorCyrus Omar

UndergraduateCornell University

thomasporter522.github.io · 0009-0000-1809-8382 · thomasporter522 · @tjp@mathstodon.xyz

Thomas Price thomaspriceAssociate Professor, Department of Computer Science · North Carolina State University

PhDNorth Carolina State University

Master’sNorth Carolina State University

UndergraduateElon University

go.ncsu.edu/twprice · 0000-0001-9375-2292

Thomas R. Gross thomasrgrossETH Zurich

PhD studentsStephanie Balzer

PhDStanford University

people.inf.ethz.ch/trg

Thomas Schwentick thomasschwentick

Thomas Seiller thomasseiller

PhD advisorJean-Yves Girard, Laurent Regnier

PhD studentsLê Thành Dũng Nguyên

PhDAix-Marseille Université

Thomas Sewell thomassewellLecturer · UNSW Sydney

0000-0002-4891-0797

Thomas Streicher thomasstreicher

PhD studentsJonathan Weinberger

PostdocsUlrik Buchholtz

www2.mathematik.tu-darmstadt.de/~streicher

Thomas Van Strydonck thomasvanstrydonck

PhD advisorDominique Devriese, Frank Piessens

0000-0002-5262-1381

Thorsten Altenkirch thorstenaltenkirch

PhD studentsWouter Swierstra

Thorsten Wißmann thorstenwissmannPostdoctoral Researcher · FAU Erlangen-Nürnberg

PhDFAU Erlangen-Nürnberg

Master’sFAU Erlangen-Nürnberg

UndergraduateFAU Erlangen-Nürnberg

thorsten-wissmann.de · 0000-0001-8993-6486 · t-wissmann

Tiago Ferreira tiagoferreiraPostdoctoral Researcher · Radboud University

PhD advisorAlexandra Silva, Peter O’Hearn

Postdoc advisorFrits Vaandrager, Jurriaan Rot

PhDUniversity College London

UndergraduateUniversity College London

tiferrei.com · 0000-0002-6942-0228 · https://github.com/tiferrei · @tiferrei@hachyderm.io

Tianle Wang tianlewang

Tiberius Nkinyili tiberiusnkinyili

Tiffany Barnes tiffanybarnesDistinguished Professor of Computer Science · North Carolina State University

PhDNorth Carolina State University

Master’sNorth Carolina State University

UndergraduateNorth Carolina State University

csc.ncsu.edu/people/tmbarnes · 0000-0002-6500-9976

Tiffany Grimes tiffanygrimes

Tigist Shiferaw tigistshiferaw

Tilman Räuker tilmanrauker

0009-0009-6321-4413

Timofei Kornev timofeikornev

Timo Schick timoschick

Timothy Atkinson timothyatkinson

UndergraduateUniversity of York

0000-0002-5036-3358

Timothy Revell timothyrevell

Timothy Roscoe timothyroscoeProfessor · ETH Zurich

PhD studentsAndrea Lattuada

PostdocsSamuel Gruetter

PhDUniversity of Cambridge

people.inf.ethz.ch/troscoe

Timothy Zhou timothyzhouPhD Student · University of California San Diego

0000-0002-5262-0995

Tingting Ding tingtingding

Titus Tunduny titustunduny

Tobias Gerstenberg tobiasgerstenberg

Tobias Grosser tobiasgrosserAssociate Professor · University of Cambridge

PostdocsLéo Stefanesco

PhDEcole Normale Superieure

UndergraduateUniversity of Passau

grosser.science · 0000-0003-3874-6003

Tobias Kappé tobiaskappeLeiden University

PhD advisorAlexandra Silva, Fabio Zanasi

PhDUniversity College London

Master’sLeiden University

tobias.kap.pe · 0000-0002-6068-880X · https://github.com/TobiasKappe

Toby St Clere Smithe tobystcleresmithe

Master’sÉcole Polytechnique

UndergraduateUniversidade Aberta

tsmithe.net · 0000-0002-8317-8722

Todd Austin toddaustinProfessor of Electrical Engineering and Computer Science · University of Michigan

PhDUniversity of Wisconsin

web.eecs.umich.edu/~taustin · 0000-0002-0181-0852

Todd Snider toddsnider

Todd Trimble toddtrimble

PhD advisorMyles Tierney

PhDRutgers University–New Brunswick

ncatlab.org/toddtrimble/published/HomePage

Todd Wilson toddwilson

Tomáš Perutka tomasperutka

Tomek Korbak tomekkorbakMember of Technical Staff · OpenAI

PhD advisorAnil Seth, Chris Buckley

PhDUniversity of Sussex

tomekkorbak.com · http://github.com/tomekkorbak

Tom Ellis tomellis

0000-0003-4894-6770

Tom Hales tomhalesMellon Professor of Mathematics · University of Pittsburgh

PhD advisorRobert Langlands

PostdocsFloris van Doorn

PhDPrinceton University

Tom Leinster tomleinsterMathematician · University of Edinburgh

PhD advisorMartin Hyland

PhDUniversity of Cambridge

webhomes.maths.ed.ac.uk/~tl

Tommi Jaakkola tommijaakkolaMassachusetts Institute of Technology

PhD advisorMichael I. Jordan

PhD studentsNathan Srebro, Tatsunori Hashimoto

PhDMassachusetts Institute of Technology

people.csail.mit.edu/tommi

Tom M. Mitchell tommmitchell

PhD studentsSebastian Thrun

Tom Needham tomneedham

Tom Reichel tomreichel

Tom Schrijvers tomschrijversProfessor · KU Leuven

people.cs.kuleuven.be/~tom.schrijvers · 0000-0001-8771-5559

Tong Shu Li tongshuli

Tongtong Xiang tongtongxiang

Tony Chen tonychen

Tony Hoare tonyhoare

Tony Nuda Zhang tonynudazhangUniversity of Michigan

0009-0009-0288-8270

Travis Hance travishance

Trenton Chang trentonchangPh.D. Candidate, Computer Science · University of Michigan

PhD advisorJenna Wiens

Master’sStanford University

trentonchang.org · https://github.com/tchang1997

Tri Dao tridaoAssistant Professor of Computer Science · Princeton University

PhDStanford University

tridao.me · https://github.com/tridao

Trishala Neeraj trishalaneeraj

Tristan Ravitch tristanravitchPrincipal Applied Scientist · Amazon

ravit.ch · 0009-0005-6967-3945

Troy Peterson troypeterson

Tushar Khot tusharkhot

Tushar Mopuri tusharmopuriPhD Student · University of Pennsylvania

0009-0009-8598-3643

T.Y. Lam tylam

PhD studentsPace P. Nielsen

Tyler Etzel tyleretzel

Tyler Shultz tylershultz

Tzu-Chun Tsai tzuchuntsai

Tzu-Mao Li tzumaoliAssociate Professor · University of California San Diego

PhD advisorFrédo Durand

Postdoc advisorJonathan Ragan-Kelley

PhDMassachusetts Institute of Technology

Master’sNational Taiwan University

UndergraduateNational Taiwan University

cseweb.ucsd.edu/~tzli

UAB Precision Medicine Institute uabprecisionmedicineinstitute

Ugo G. Montanari ugogmontanariEmeritus Professor · University of Pisa

PhD studentsFilippo Bonchi

groups.di.unipi.it/~ugo

Ulrich Kohlenbach ulrichkohlenbachProfessor of Mathematics · Technical University of Darmstadt

PhD advisorHorst Luckhardt

PhD studentsPaulo Oliva

PostdocsUlrik Buchholtz

PhDGoethe University Frankfurt

Master’sGoethe University Frankfurt

www2.mathematik.tu-darmstadt.de/~kohlenbach

Ulrich W. Kulisch ulrichwkulisch

PhD studentsArmin Bernd Cremers, Otto Mayer

Ulrik Buchholtz ulrikbuchholtzAssistant Professor · University of Nottingham

PhD advisorSolomon Feferman

Postdoc advisorGerhard Jäger, Steve Awodey, Thomas Streicher, Ulrich Kohlenbach

PhDStanford University

Master’sUniversity of Copenhagen

UndergraduateUniversity of Copenhagen

ulrikbuchholtz.dk · 0000-0002-5944-6838 · https://github.com/UlrikBuchholtz/ · @buchholtz@mathstodon.xyz

Umesh Virkumar Vazirani umeshvirkumarvazirani

PhD studentsSanjeev Arora

Umut A. Acar umutaacarAssociate Professor · Carnegie Mellon University

PhD studentsMatthew A. Hammer

PostdocsArthur Charguéraud

cs.cmu.edu/~umut

Upamanyu Sharma upamanyusharmaPhD · Massachusetts Institute of Technology

PhD advisorFrans Kaashoek, Nickolai Zeldovich

Master’sMassachusetts Institute of Technology

UndergraduateUniversity of Michigan

people.csail.mit.edu/upamanyu · 0000-0002-5446-3284

Uri Shaham urishaham

Uwe F. Pleban uwefpleban

PhD advisorSteven S. Muchnick

PhD studentsPeter Lee

PhDUniversity of Kansas

Uzi Ornan uziornan

PhD studentsIdo Dagan

Valeria Bertacco valeriabertaccoUniversity of Michigan

0000-0002-0319-3368

Valeria de Paiva valeriadepaivaPrincipal Research Scientist · Topos Institute

vcvpaiva.github.io · vcvpaiva

Valery Isaev valeryisaev

Vasile Rus vasilerusJack and Jane Morris Professor · University of Memphis

PhD studentsPriti Oli

PhDSouthern Methodist University

memphis.edu/cs/people/faculty_pages/vasile-rus.php

Vaughan Pratt vaughanpratt

Vedant Misra vedantmisra

Venkatesan Guruswami venkatesanguruswamiUniversity of California, Berkeley

PhD advisorMadhu Sudan

PhD studentsAtri Rudra

PhDMassachusetts Institute of Technology

UndergraduateIndian Institute of Technology Madras

people.eecs.berkeley.edu/~venkatg

Vera Demberg veradembergProfessor of Computer Science and Computational Linguistics · Saarland University

PhDUniversity of Edinburgh

Master’sUniversity of Edinburgh

Veronica Catété veronicacateteAssistant Professor, Department of Computer Science · North Carolina State University

PhDNorth Carolina State University

Master’sUniversity of North Carolina at Charlotte

UndergraduateNorth Carolina State University

cereal.wordpress.ncsu.edu · 0000-0002-7620-7708

Victoria Nyamai victorianyamai

Vikas Raunak vikasraunakSenior Research Scientist · Google DeepMind

Master’sCarnegie Mellon University

UndergraduateIndian Institute of Technology Indore

vyraun.github.io · https://github.com/vyraun

Vikraman Choudhury vikramanchoudhury

Viktor Glushkov viktorglushkov

PhD studentsKonstantin Verchinine

Viktoriya Ozornova viktoriyaozornovaAdvanced Researcher · Max Planck Institute for Mathematics

PhD advisorCarl-Friedrich Bödigheimer

PostdocsJonathan Weinberger

PhDUniversity of Bonn

people.mpim-bonn.mpg.de/viktoriya.ozornova

Viktor Kunčak viktorkuncak

Viktor Vafeiadis viktorvafeiadisTenured faculty · Max Planck Institute for Software Systems

PostdocsLéo Stefanesco, Ori Lahav

PhDUniversity of Cambridge

UndergraduateUniversity of Cambridge

people.mpi-sws.org/~viktor

Viktor Winschel viktorwinschelProfessor of Quantitative Methods · SRH University (Cologne Campus)

PhD advisorR. Vaubel

Postdoc advisorF. Kübler, K. Adam

PhDUniversity of Mannheim

srh-university.de/en/srh-university/faculty-and-team/winschel-viktor

Vinay Ramasesh vinayramasesh

Vinay Uday Prabhu vinayudayprabhu

PhDCarnegie Mellon University

vinayprabhu.com · https://github.com/vinayprabhu

Vincent Balat vincentbalatUniversité Paris Diderot

PhD advisorRoberto Di Cosmo

PhDUniversité Paris Diderot

Vincent T. Lee vincenttleeResearch Scientist · Meta

0000-0001-7440-0291

Vincent Tourneur vincenttourneur

Virgil Marionneau virgilmarionneauÉcole Normale Supérieure de Rennes

0009-0005-9568-4592

Vishakh Padmakumar vishakhpadmakumar

Vishnu Reddy vishnureddy

Vivek Srikumar viveksrikumarProfessor · University of Utah

PhD advisorDan Roth

PhD studentsTao Li

PhDUniversity of Illinois at Urbana-Champaign

svivek.com · https://github.com/svivek · @viveksrikumar@mastodon.social

Vladimir Donchenko vladimirdonchenko

PhD studentsAndrei Paskevich

Vladimir Kolmogorov vladimirkolmogorov

PhD studentsMartin Dvorak

Vladimir Vapnik vladimirvapnik

PhD studentsBernhard Schölkopf

Vlad Tsyrklevich vladtsyrklevich

tsyrklevich.net · 0009-0009-9511-5460 · https://github.com/vlad902

Volkan Cevher volkancevherProfesseur ordinaire · École Polytechnique Fédérale de Lausanne

PhD advisorJames Harold McClellan, Ramalingam Chellappa

PhD studentsDiganta Misra

PhDGeorgia Institute of Technology

Wei Dai weidaiTikTok Inc.

0000-0002-3542-8889

Weiming Xiang weimingxiang

Wei Zheng weizhengGroup Leader · National Center for Advancing Translational Sciences

PhDState University of New York

Master’sZhejiang University

ncats.nih.gov/staff/wzheng · 0000-0003-1034-0757

Wendlasida Ouedraogo wendlasidaouedraogo

Wengran Wang wengranwang

0009-0006-9364-5474

Wen Kokke wenkokkeUniversity of Edinburgh

PhD advisorPhilip Wadler

PhDUniversity of Edinburgh

wen.works · 0000-0002-1662-0381 · @wen@types.pl

Wen Yang wenyangUniversity of Macau

0000-0003-1222-4987

Westley Weimer westleyweimerUniversity of Michigan

0000-0001-6749-2204

Whitman Richards whitmanrichards

PhD advisorHans-Lukas Teuber

PhD studentsJoshua Tenenbaum

PhDMassachusetts Institute of Technology

Wilfried Schmid wilfriedschmid

PhD studentsCarlos Simpson

Will Crichton willcrichtonAssistant Professor of Computer Science · Brown University

PhD advisorManeesh Agrawala, Pat Hanrahan

Postdoc advisorShriram Krishnamurthi

PhDStanford University

willcrichton.net · 0000-0001-8639-6541 · https://github.com/willcrichton/ · @tonofcrates@mastodon.social

William Blair williamblair

0000-0002-5918-2983

William J. Bowman williambowmanAssistant Professor · University of British Columbia

PhD advisorAmal Ahmed

PhD studentsPaulette Koronkevich

PhDNortheastern University

Master’sIndiana University

UndergraduateIndiana University

williamjbowman.com · wilbowma

William DeMeo williamdemeoPostdoctoral Research Associate · Charles University

PhDUniversity of Hawaiʻi at Mānoa

0000-0003-1832-5690

William E. Byrd williamebyrdScientist · University of Alabama at Birmingham

PhD advisorDaniel P. Friedman

PhDIndiana University Bloomington

UndergraduateUniversity of Maryland, Baltimore County

webyrd.net · 0000-0003-4730-5293 · https://github.com/webyrd

William Edwards williamedwards

William F. Clocksin williamfclocksin

PhD studentsMurray Shanahan

William Fedus williamfedus

William Harrison williamharrisonSenior Formal Methods Researcher · Idaho National Laboratory

harrisonwl.github.io · 0000-0002-3760-3556

William M. Farmer williammfarmerProfessor, Department of Computing and Software · McMaster University

PhD advisorKenneth Kunen

PhD studentsYasmine Sharoda

PhDUniversity of Wisconsin–Madison

Master’sUniversity of Wisconsin–Madison

UndergraduateUniversity of Notre Dame

imps.mcmaster.ca/wmfarmer

William Randolph Franklin williamrandolphfranklin

PhD studentsMohan Kankanhalli

William Saunders williamsaunders

William Walker Tait williamwalkertait

PhD advisorFrederic Brenton Fitch

PhD studentsSteve Awodey

PhDYale University

William Zhang williamzhang

Wojciech Buszkowski wojciechbuszkowski

Wojciech Czaja wojciechczajaProfessor, Department of Mathematics · University of Maryland, College Park

PhD advisorMladen Victor Wickerhauser

PostdocsFushuai Jiang

PhDWashington University in St. Louis

math.umd.edu/~wojtek

Wojciech Różowski wojciechrozowskiResearch Software Engineer · Lean FRO

PhD advisorAlexandra Silva

PhDUniversity College London

UndergraduateUniversity of Southampton

wkrozowski.github.io · 0000-0002-8241-7277 · https://github.com/wkrozowski

Wouter Swierstra wouterswierstraUtrecht University

PhD advisorThorsten Altenkirch

PhDUniversity of Nottingham

webspace.science.uu.nl/~swier004 · 0000-0002-0295-7944 · https://github.com/wouter-swierstra/

Wout Vossen woutvossen

Xander Davies xanderdaviesUK AI Security Institute

UndergraduateHarvard University

xanderdavies.com

Xavier Leroy xavierleroy

Xiang Li xiangli

UndergraduateUniversity of Michigan

0009-0005-6860-039X

Xiang Ren xiangren

PhD studentsBill Yuchen Lin

Xiangyu Qi xiangyuqi

Xiaohan Fu xiaohanfu

Xiaoyu Tong xiaoyutong

Xinran Zhao xinranzhaoPhD candidate, CMU LTI · Carnegie Mellon University

Master’sStanford University

UndergraduateHong Kong University of Science and Technology

colinzhaoust.github.io · https://github.com/colinzhaoust

Xinya Du xinyaduThe University of Texas at Dallas

Xinyi Wu xinyiwu

Xudong Shen xudongshen

PhD advisorMohan Kankanhalli

PhDNational University of Singapore

UndergraduateZhejiang University

xudongolivershen.github.io · https://github.com/XudongOliverShen

Xuejun Yang xuejunyang

Xueying Qin xueyingqinUniversity of Southern Denmark

xyunknown.github.io · 0000-0003-4825-2023

Xueyuan Zhao xueyuanzhao

Xu Huang xuhuang

0000-0003-3655-2133

Xun Liu xunliuHunan University of Science and Technology

0000-0002-8773-663X

Xu Wang xuwang

Yadollah Yaghoobzadeh yadollahyaghoobzadehAssistant Professor, ECE · University of Tehran

PhDLudwig-Maximilians-Universität München

Master’sSharif University of Technology

UndergraduateUniversity of Tehran

yyaghoobzadeh.github.io

Yair Lakretz yairlakretzLSCP (CNRS / École Normale Supérieure, PSL), Paris

yairlak.github.io

Yair Weiss yairweiss

Yakir Forman yakirformanSr Research Scientist · Two Six Technologies

PhDYale University

0000-0001-7471-539X

Yang Chen yangchen

Yangqiu Song yangqiusong

Yang Shi yangshiAssistant Professor · Utah State University

PhDNorth Carolina State University

Master’sUniversity of Georgia

UndergraduateCentral South University

yshi.info · 0000-0001-6486-4340

Yang Wang yangwangAssociate Professor · Ohio State University

PhD advisorLorenzo Alvisi, Mike Dahlin

PhDUniversity of Texas at Austin

Master’sTsinghua University

UndergraduateTsinghua University

yangwang83.github.io · 0000-0002-9721-4923

Yannick Bloem yannickbloem

Yannick Forster yannickforster

Yanni Kouskoulas yannikouskoulas

Yannis Smaragdakis yannissmaragdakisNational and Kapodistrian University of Athens

yanniss.github.io · 0000-0002-0499-0182

Yann LeCun yannlecunNew York University

PhD advisorMaurice Milgram

PostdocsBehnam Neyshabur

PhDUniversité Pierre-et-Marie-Curie - Paris VI

Yarin Gal yaringalProfessor of Machine Learning · University of Oxford

cs.ox.ac.uk/people/yarin.gal/website · https://github.com/yaringal

Yasaman Bahri yasamanbahri

Yasmine Sharoda yasminesharoda

PhD advisorJacques Carette, William M. Farmer

PhDMcMaster University

Yatin Manerkar yatinmanerkarUniversity of Michigan

PhD studentsPranav Srinivasan

0000-0002-6954-2292

Yee-Jian Tan yeejiantanPhD · KU Leuven

PhD advisorDominique Devriese

Master’sÉcole Polytechnique

UndergraduateNational University of Singapore

yeejian.dev · 0000-0002-5725-9633 · yeejian-tan · @yeejian_tan@mathstodon.xyz

Yejin Choi yejinchoi

PostdocsDaniel Khashabi, Sean Welleck

Yicheng Zhang yichengzhangScientist · Institute for Infocomm Research

PhDNanyang Technological University

Master’sUniversity of Science and Technology of China

zinczhang.github.io · 0000-0001-5979-793X

Yichen Tao yichentaoPhD · University of Michigan

PhD advisorJean-Baptiste Jeannin

PhDUniversity of Michigan

Yichi Yang yichiyang

Yiding Hao yidinghao

Yifei Zhu yifeizhuColorado School of Mines

0000-0001-7802-7869

Yifu Chen yifuchen

Yihuan Dong yihuandong

0009-0006-2021-0170

Yingying Zhu yingyingzhu

Yitzhak Mandelbaum yitzhakmandelbaum

PhD advisorDavid Walker

PhDPrinceton University

Yixuan Chen yixuanchenYale University

UndergraduateUniversity of Michigan

me.xlk.me · 0000-0001-8659-8493 · https://github.com/LukeXuan

Yiyun Liu yiyunliuFinal year CS PhD student · University of Pennsylvania

PhD advisorStephanie Weirich

Master’sUniversity of Maryland

electriclam.com · 0009-0006-8717-2498 · https://github.com/yiyunliu

Yi Zhou yizhouApplied Scientist · Amazon Web Services

PhD advisorBryan Parno

PhDCarnegie Mellon University

Master’sUniversity of Illinois at Urbana-Champaign

UndergraduateUniversity of Illinois at Urbana-Champaign

yizhou7.github.io · 0000-0001-7597-1176

Yonatan Belinkov yonatanbelinkov

Yonathan Fisseha yonathanfissehaPhD · University of Michigan

PhD advisorJean-Baptiste Jeannin

PhDUniversity of Michigan

yonathanfisseha.com · 0009-0000-9645-2885

Yongwang Zhao yongwangzhao

Yongwei Yuan yongweiyuanPhD student · Hue University of Education

PhD advisorSuresh Jagannathan

UndergraduateShanghai Jiao Tong University

yongweiy.github.io · 0000-0002-2619-2288 · https://github.com/yongweiy

Yoram (Joram) Hirschfeld yoramjoramhirschfeld

PhD advisorAbraham Robinson

PhD studentsArnon Avron

PhDYale University

Yorgo Chamoun yorgochamoun

0009-0007-2689-9148

Yotam Dvir yotamdvirMath/CompSci PhD Student · Tel Aviv University

PhD advisorOhad Kammar, Ori Lahav

Master’sTel Aviv University

yotamdvir.github.io · 0000-0002-6507-3791 · https://github.com/yotamdvir · @yd@mathstodon.xyz

Youyou Cong youyoucongAssistant Professor · Institute of Science Tokyo

PhDOchanomizu University

Master’sOchanomizu University

UndergraduateOchanomizu University

prg.is.titech.ac.jp/people/cong · 0000-0003-2315-6182

Yuchen Jiang yuchenjiangPhD · University of Michigan

PhD advisorMax S. New

UndergraduateUniversity of Michigan, Shanghai Jiao Tong University

lighghteeloo.github.io · 0000-0002-1274-1450 · LighghtEeloo

Yudong Rao yudongrao

0009-0002-1204-7685

Yue Niu yueniu

PhD advisorRobert Harper

PhDCarnegie Mellon University

0000-0003-4888-6042

Yue Yao yueyao

Yufang Hou yufanghouInterdisciplinary Transformation University Austria

yufanghou.github.io · https://github.com/yufanghou

Yufei Cai yufeicaiZhejiang University

Master’sUniversity of Cambridge

UndergraduateUniversity of Pittsburgh

0000-0002-0460-961X

Yufeng Li yufengliEast China Normal University

0009-0004-5505-0918

Yu Hou yuhou

Yun-Rong Luo yunrongluo

Yuntao Bai yuntaobai

Yu Pan yupanTianjin University

0000-0001-5187-6588

Yuquan Fu yuquanfu

Yuriy Brun yuriybrunProfessor · University of Massachusetts Amherst

PhD advisorNenad Medvidović

PhD studentsEmily First

PhDUniversity of Southern California

Master’sUniversity of Southern California

UndergraduateMassachusetts Institute of Technology

people.cs.umass.edu/~brun · 0000-0003-3027-7986

Yusuke Miyao yusukemiyao

Yuwei Hu yuweihuUniversity of Michigan

Yuwei Ye yuweiye

Yves Lafont yveslafont

Zachary Flores zacharyfloresTwo Six Technologies

Zachary Grannan zacharygrannanUniversity of British Columbia

0000-0002-7042-7013

Zachary Karas zacharykarasVanderbilt University

UndergraduateNew York University

0000-0002-5721-8794

Zachary Seid zacharyseid

Zachary Tatlock zacharytatlockProfessor · University of Washington

ztatlock.net · 0000-0002-4731-0124

Zahra Keshavarz-Motamed zahrakeshavarzmotamedAssociate Professor, Department of Mechanical Engineering · McMaster University

PhDConcordia University

Master’sSharif University of Technology

UndergraduateSharif University of Technology

mira.mcmaster.ca/our-faculty/zahra-k-motamed

Zain K Aamer zainkaamerUniversity of Pennsylvania

UndergraduateUniversity of Illinois Chicago

0000-0001-9170-8351

Zanzi Mihejevs zanzimihejevs

Zeinab Galal zeinabgalalResearcher · Kyoto University

zgalal.github.io

Zhanna Kaufman zhannakaufmanPhD Student · University of Massachusetts Amherst

Master’sWorcester Polytechnic Institute

UndergraduateBoston University

zhannakaufma.github.io · 0000-0002-9135-815X

Zhaohui Luo zhaohuiluo

Zhao Song zhaosong

Zhemin Qu zheminqu

Zhengyao Lin zhengyaolinFinal-year PhD student in CS · Carnegie Mellon University

PhD advisorBryan Parno

UndergraduateUniversity of Illinois at Urbana-Champaign

zhengyao.page · 0000-0001-5475-5765 · https://github.com/zhengyao-lin

Zhenjiang Hu zhenjianghu

PostdocsHsiang-Shang Ko

0000-0002-9034-205X

Zhenyu Zhao zhenyuzhaoTsinghua University

0000-0002-4483-0589

Zhe Tao zhetao

Zhibo Chen zhibochenPh.D. student · Carnegie Mellon University

Master’sCarnegie Mellon University

UndergraduateUniversity of California San Diego

andrew.cmu.edu/user/zhiboc · 0000-0003-0045-5024

Zhijing Li zhijingli

tissue3.github.io · 0000-0002-3731-0964

Zhiru Zhang zhiruzhangProfessor · Cornell University

PhDUniversity of California, Los Angeles

UndergraduatePeking University

0000-0002-0778-0308

Zhixuan Yang zhixuanyangLecturer · University of Exeter

PhD advisorNicolas Wu

PhDImperial College London

Master’sNational Institute of Informatics, SOKENDAI (The Graduate University for Advanced Studies)

UndergraduatePeking University

yangzhixuan.github.io · 0000-0001-5573-3357 · yangzhixuan · @zyang@mathstodon.xyz

Zhiyao Zhong zhiyaozhongUniversity of Michigan

Zhiyi Pan zhiyipanTianjin University

0009-0001-5141-5666

Zhuoye Zhao zhuoyezhao

Zico Kolter zicokolterCarnegie Mellon University

PhD studentsAndy Zou

Zifan Wang zifanwang

Zihan Wang zihanwang

Zijian Wang zijianwangAI Research Scientist Manager · Meta Superintelligence Labs

Zijie J. Wang zijiejwang

Zirui Wang ziruiwang

Zirun Zhu zirunzhu

Ziyi Wu ziyiwu

Zoe Paraskevopoulou zoeparaskevopoulouAssistant Professor · National Technical University of Athens

PhDPrinceton University

Master’sEcole Normale Supérieure de Cachan

zoep.github.io · 0009-0001-2352-9818

Zoltan A. Kocsis zoltanakocsis

Zongyuan Liu zongyuanliuVIP, Postdoc · Aarhus University

pure.au.dk/portal/en/persons/000f0860-6adc-4670-af97-1b82cbe1e1c1 · 0000-0001-9652-4869

Zoran Popović zoranpopovic

PhD studentsSeth Cooper

Zoubin Ghahramani zoubinghahramani

PhD studentsShixiang Shane Gu

0000-0002-7464-6475

Zulfikar Ramzan zulfikarramzan

Zvi Galil zvigalil

PhD studentsJonathan Katz, Moti Yung

all-people note entries/home/all-people.hel