University of Pennsylvania

Institution. University of Pennsylvania

link · upenn.edu · ROR

People

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

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

PhD studentsEllie Pavlick, Li Zhang

cis.upenn.edu/~ccb

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

Michael Hicks michaelhicksProfessor · University of Pennsylvania

PostdocsLeonidas Lampropoulos, Michael Coblenz

mhicks.me · 0000-0002-2759-9223

Pratyush Mishra pratyushmishraAssistant Professor · University of Pennsylvania

PhDUniversity of California, Berkeley

pratyushmishra.com · 0009-0000-6600-9719

Rajeev Alur rajeevalurUniversity of Pennsylvania

PhD studentsSwarat Chaudhuri

PostdocsKonstantinos Mamouras

cis.upenn.edu/~alur

Rob Ghrist robghristUniversity of Pennsylvania

PhD advisorPhilip Holmes

PostdocsPaige Randall North

PhDCornell University

www2.math.upenn.edu/~ghrist

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

Tushar Mopuri tusharmopuriPhD Student · University of Pennsylvania

0009-0009-8598-3643

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

Zain K Aamer zainkaamerUniversity of Pennsylvania

UndergraduateUniversity of Illinois Chicago

0000-0001-9170-8351

PhD alumni

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

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

PhD advisorChris Callison-Burch

PhDUniversity of Pennsylvania

cs.brown.edu/people/epavlick

Jack Minker jackminker

PhD advisorBernard Epstein

PhD studentsChitta Baral

PhDUniversity of Pennsylvania

Justin Hsu justinhsuAssistant Professor · Cornell University

PhDUniversity of Pennsylvania

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

Li Zhang lizhangAssistant Professor · Drexel University

PhD advisorChris Callison-Burch

PhDUniversity of Pennsylvania

UndergraduateUniversity of Michigan

zharry29.github.io

Qing Lyu qinglyuResearch Scientist · Databricks Mosaic

PhDUniversity of Pennsylvania

UndergraduateTsinghua University

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

Rishiyur Sivaswami Nikhil rishiyursivaswaminikhil

PhD advisorPeter Buneman

PhD studentsSuresh Jagannathan

PhDUniversity of Pennsylvania

Robert Frank robertfrankProfessor · Yale University

PhDUniversity of Pennsylvania

bobfrank1.github.io

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

Swarat Chaudhuri swaratchaudhuriUniversity of Texas at Austin

PhD advisorRajeev Alur

PostdocsAnders Miltner

PhDUniversity of Pennsylvania

UndergraduateIndian Institute of Technology Kharagpur

cs.utexas.edu/~swarat

Master’s alumni

Emmanuel Suárez Acevedo emmanuelsuarezacevedoCornell University

Master’sUniversity of Pennsylvania

emmanuelsuarez.com · 0009-0002-5515-6099

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

Ian Blumenfeld ianblumenfeldResearch Director · Two Six Technologies

Master’sUniversity of Pennsylvania

UndergraduateUniversity at Buffalo

0000-0003-2080-9790

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

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

Undergraduate alumni

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

Andrew Butt andrewbuttGraduate Research Assistant · Cornell University

UndergraduateUniversity of Pennsylvania

0000-0002-6528-4281

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

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

Formerly here

Andrew Butt andrewbuttGraduate Research Assistant · Cornell University

UndergraduateUniversity of Pennsylvania

0000-0002-6528-4281

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

Joachim Breitner joachimbreitnerPrincipal Research Software Engineer · Lean FRO

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

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

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

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

Michael Strube michaelstrubeHeidelberg Institute for Theoretical Studies

PhDUniversity of Freiburg

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

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

university-of-pennsylvania institution entries/institutions/university-of-pennsylvania.hel