Cornell University

Institution. Cornell University

link · cornell.edu · ROR

People

Adrian Sampson adriansampsonAssociate Professor · Cornell University

PhD studentsAlexa VanHattum, Rachit Nigam

PhDUniversity of Washington

UndergraduateHarvey Mudd College

cs.cornell.edu/~asampson

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

Andrew Butt andrewbuttGraduate Research Assistant · Cornell University

UndergraduateUniversity of Pennsylvania

0000-0002-6528-4281

Claire Cardie clairecardieCornell University

0000-0002-2061-6094

David Bindel davidbindelCornell University

PhD studentsAriel E. Kellison

0000-0002-8733-5799

Emmanuel Suárez Acevedo emmanuelsuarezacevedoCornell University

Master’sUniversity of Pennsylvania

emmanuelsuarez.com · 0009-0002-5515-6099

Ethan Gabizon ethangabizonCornell University

UndergraduateCornell University

0009-0003-1580-807X

Griffin Berlstein griffinberlsteinPhD Student · Cornell University

griffinberlste.in · 0000-0001-5619-3647

John Hamal Hubbard johnhamalhubbardProfessor Emeritus · Cornell University

PhD advisorAdrien Douady

PhD studentsJacques Carette

PhDUniversité Paris Cité

UndergraduateHarvard University

math.cornell.edu/john-h-hubbard

Justin Hsu justinhsuAssistant Professor · Cornell University

PhDUniversity of Pennsylvania

Lily Saada lilysaadaStudent · Cornell University

0009-0003-8590-6740

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

Max Fan maxfanCornell University

max.fan · 0009-0001-3664-6538

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

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

Sorin Lerner sorinlernerCornell University

PostdocsEmily First

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

Spencer Van Koevering spencervankoeveringPhD Student · Cornell University

0009-0008-5026-8060

Thomas Lu thomasluCornell University

0009-0000-3474-6263

Zhiru Zhang zhiruzhangProfessor · Cornell University

PhDUniversity of California, Los Angeles

UndergraduatePeking University

0000-0002-0778-0308

PhD alumni

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

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/

Chris Hawblitzel chrishawblitzelSenior Principal Researcher · Microsoft Research

PhDCornell University

chrishawblitzel.net · 0000-0002-5676-0362

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

Daniela Rus danielarusMassachusetts Institute of Technology

PhD advisorJohn Edward H. Hopcroft

PostdocsAntonio Norelli

PhDCornell University

danielarus.csail.mit.edu

Edmund Clarke edmundclarke

PhD advisorRobert Lee Constable

PhD studentsSoonho Kong

PhDCornell University

Fan Zhang fanzhangAssistant Professor · Yale University

PhDCornell University

fanzhang.me · 0000-0002-8525-4514

Jason Yosinski jasonyosinskiApical Intelligence

PhDCornell University

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

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

Joshua Gancher joshuagancherAssistant Professor · Northeastern University

PhD advisorElaine Shi, Greg Morrisett

Postdoc advisorBryan Parno

PhDCornell University

UndergraduateReed College

gancher.dev · 0000-0003-2257-7073

Karl Crary karlcraryCarnegie Mellon University

PhD advisorRobert Lee Constable

PhD studentsChris Martens

PhDCornell University

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

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

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

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 Reitblatt markreitblatt

PhD advisorNate Foster

PhDCornell University

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

Pedro H. Azevedo de Amorim pedrohaamorimLecturer · University of Bath

PhD advisorDexter Kozen

PhDCornell University

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

Rachit Nigam rachitnigamAssistant Professor · Massachusetts Institute of Technology

PhD advisorAdrian Sampson

PhDCornell University

UndergraduateUniversity of Massachusetts Amherst

rachitnigam.com · rachitnigam

Rob Ghrist robghristUniversity of Pennsylvania

PhD advisorPhilip Holmes

PostdocsPaige Randall North

PhDCornell University

www2.math.upenn.edu/~ghrist

Ronan LeBras ronanlebrasSenior Research Scientist · Allen Institute for Artificial Intelligence

PhDCornell University

Master’sPolytechnique Montréal

UndergraduatePolytechnique Montréal

rlebras.github.io

Steffen Smolka steffensmolkaStaff Software Engineer · Google

PhD advisorNate Foster

PhDCornell University

UndergraduateTechnical University of Munich

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

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

Steven S. Muchnick stevensmuchnick

PhD advisorRobert Lee Constable

PhD studentsUwe F. Pleban

PhDCornell University

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

Susan Speer Owicki susanspeerowicki

PhD advisorDavid Gries

PhD studentsDavid Gifford

PhDCornell University

Master’s alumni

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

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

PhD advisorDaphne Ippolito

Master’sCornell University

UndergraduateCornell University

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

Ben Greenman bengreenmanAssistant Professor · University of Utah

PhDNortheastern University

Master’sCornell University

UndergraduateCornell University

cs.brown.edu/~bgreenma · bennn

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

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

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

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

Undergraduate alumni

Apurva Koti apurvakoti

UndergraduateCornell University

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

PhD advisorDaphne Ippolito

Master’sCornell University

UndergraduateCornell University

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

Ben Greenman bengreenmanAssistant Professor · University of Utah

PhDNortheastern University

Master’sCornell University

UndergraduateCornell University

cs.brown.edu/~bgreenma · bennn

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

Ethan Gabizon ethangabizonCornell University

UndergraduateCornell University

0009-0003-1580-807X

Siva Somayyajula sivasomayyajulaApplied Scientist · Amazon

PhDCarnegie Mellon University

UndergraduateCornell University

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

Sophia Roshal sophiaroshalPhD student · Carnegie Mellon University

UndergraduateCornell University

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

Thomas Porter thomasporterPhD · University of Michigan

PhD advisorCyrus Omar

UndergraduateCornell University

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

Formerly here

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

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/

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

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

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

Sasha Rush sasharushML Researcher, Cursor · Cursor

PhD studentsSam Wiseman

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

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

cornell-university institution entries/institutions/cornell-university.hel