Carnegie Mellon University

Institution. Carnegie Mellon University

link · cmu.edu · ROR

People

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

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

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

PhD advisorDaphne Ippolito

Master’sCornell University

UndergraduateCornell University

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

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

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

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/

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

CB Aberle cbaberlePhD · Carnegie Mellon University

PhD advisorFrank Pfenning

UndergraduateUniversity of Oxford

cbaberle.com · 0009-0006-6271-2718

Dimitrios Skarlatos dimitriosskarlatosAssistant Professor · Carnegie Mellon University

0000-0002-0289-5499

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

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

Fraser Brown fraserbrownCarnegie Mellon University

0009-0006-6601-7317

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

Hemant Gouni hemantgouniPhD student · Carnegie Mellon University

UndergraduateUniversity of Minnesota

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

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

Ian Voysey ianvoyseyResearch programmer · Carnegie Mellon University

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

James McCann jamesmccannAssociate Professor · Carnegie Mellon University

PhDCarnegie Mellon University

UndergraduateUniversity of Michigan

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

Jan Hoffmann janhoffmannCarnegie Mellon University

0000-0001-8326-0788

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

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

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

Karl Crary karlcraryCarnegie Mellon University

PhD advisorRobert Lee Constable

PhD studentsChris Martens

PhDCornell University

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

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

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

PhDMassachusetts Institute of Technology

cs.cmu.edu/~morency

Matt Fredrikson mattfredriksonAssociate Professor · Carnegie Mellon University

PhD studentsAndy Zou

cs.cmu.edu/~mfredrik

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 McLoughlin michaelmcloughlinCarnegie Mellon University

0000-0003-2347-6258

Pavel Kovalev pavelkovalevCarnegie Mellon University

0009-0003-7609-7590

Pranjal Aggarwal pranjalaggarwalPhD student · Carnegie Mellon University

UndergraduateIndian Institute of Technology Delhi

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

Rui Li ruiliM.S. Student · Carnegie Mellon University

Ruslan Salakhutdinov ruslansalakhutdinovUPMC Professor of Computer Science · Carnegie Mellon University

PhD advisorGeoffrey Hinton

PhDUniversity of Toronto

cs.cmu.edu/~rsalakhu

Samvid Dharanikota samviddharanikotaCarnegie Mellon University

samvid.me · 0009-0003-1489-2425

Sean Welleck seanwelleckAssistant Professor · Carnegie Mellon University

PhD advisorKyunghyun Cho

Postdoc advisorYejin Choi

PhDNew York University

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

Sophia Roshal sophiaroshalPhD student · Carnegie Mellon University

UndergraduateCornell University

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

Stephanie Balzer stephaniebalzerAssociate Professor · Carnegie Mellon University

PhD advisorThomas R. Gross

PhD studentsJules Jacobs, Tesla Zhang

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

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

Tesla Zhang teslazhangPhD · Carnegie Mellon University

PhD advisorStephanie Balzer

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

Umut A. Acar umutaacarAssociate Professor · Carnegie Mellon University

PhD studentsMatthew A. Hammer

PostdocsArthur Charguéraud

cs.cmu.edu/~umut

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

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

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

Zico Kolter zicokolterCarnegie Mellon University

PhD studentsAndy Zou

PhD alumni

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

Anhong Guo anhongguoUniversity of Michigan

PhDCarnegie Mellon University

Master’sGeorgia Institute of Technology

UndergraduateBUPT

Ankush Das ankushdasAssistant Professor · Boston University

PhDCarnegie Mellon University

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

Aurora Schmidt auroraschmidtJohns Hopkins University Applied Physics Laboratory

PhDCarnegie Mellon University

Master’sMassachusetts Institute of Technology

UndergraduateMassachusetts Institute of Technology

0000-0001-9027-8484

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

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

ChengXiang Zhai chengxiangzhaiUniversity of Illinois at Urbana-Champaign

PhD advisorJohn Lafferty

PhD studentsQiaozhu Mei

PhDCarnegie Mellon University

czhai.cs.illinois.edu

Chris Fallin chrisfallinSenior Architect · F5

PhDCarnegie Mellon University

Master’sCarnegie Mellon University

UndergraduateUniversity of Notre Dame

0000-0002-6733-1803

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

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-

Daniel R. Licata daniellicataAssociate Professor · Wesleyan University

PostdocsMax S. New

PhDCarnegie Mellon University

UndergraduateBrown University

dlicata.wescreates.wesleyan.edu

Diyi Yang diyiyangAssistant Professor · Stanford University

PhDCarnegie Mellon University

UndergraduateShanghai Jiao Tong University

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

Egbert Rijke egbertrijkePostdoc · University of Ljubljana

PhDCarnegie Mellon University

0000-0002-5272-6175 · HoTT-Intro

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

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

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

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

James McCann jamesmccannAssociate Professor · Carnegie Mellon University

PhDCarnegie Mellon University

UndergraduateUniversity of Michigan

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

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

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

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

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

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

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

Kevin Gimpel kevingimpel

PhD studentsShubham Toshniwal

PhDCarnegie Mellon University

kgimpel.github.io

Kuen-Bang Hou (Favonia) kuenbanghoufavonia

PhD advisorRobert Harper

PhDCarnegie Mellon University

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

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

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

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

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

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

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

Robert J. Simmons robertjsimmonsPart Time Lecturer · Northeastern University

PhD studentsDaniel P. Friedman

PhDCarnegie Mellon University

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

Rowan Davies rowandavies

PhD advisorFrank Pfenning

PhDCarnegie Mellon University

Siva Somayyajula sivasomayyajulaApplied Scientist · Amazon

PhDCarnegie Mellon University

UndergraduateCornell University

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

Soonho Kong soonhokongPrincipal Applied Scientist · Amazon Web Services

PhD advisorEdmund Clarke

PhDCarnegie Mellon University

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

Vinay Uday Prabhu vinayudayprabhu

PhDCarnegie Mellon University

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

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

Yue Niu yueniu

PhD advisorRobert Harper

PhDCarnegie Mellon University

0000-0003-4888-6042

Master’s alumni

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

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

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

Chris Fallin chrisfallinSenior Architect · F5

PhDCarnegie Mellon University

Master’sCarnegie Mellon University

UndergraduateUniversity of Notre Dame

0000-0002-6733-1803

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

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

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

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

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

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

Vikas Raunak vikasraunakSenior Research Scientist · Google DeepMind

Master’sCarnegie Mellon University

UndergraduateIndian Institute of Technology Indore

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

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

Undergraduate alumni

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

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

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

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

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

Max Willsey maxwillseyAssistant Professor · University of California, Berkeley

PostdocsMichael Arntzenius

PhDUniversity of Washington

UndergraduateCarnegie Mellon University

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

Robert Bruce Findler robertfindlerProfessor · Northwestern University

PhDRice University

UndergraduateCarnegie Mellon University

users.cs.northwestern.edu/~robby

Rose Bohrer rosebohrerNational Institute of Advanced Industrial Science and Technology

UndergraduateCarnegie Mellon University

0000-0001-5201-9895

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

Formerly here

Amr Sabry amrsabryProfessor of Computer Science · Indiana University Bloomington

PhD advisorMatthias Felleisen

PhDRice University

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

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

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

Austin Z. Henley austinzhenleyPrincipal Applied Scientist · Microsoft

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

Bas Spitters basspittersAssociate professor · Aarhus University

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

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

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

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-

Daniel R. Licata daniellicataAssociate Professor · Wesleyan University

PostdocsMax S. New

PhDCarnegie Mellon University

UndergraduateBrown University

dlicata.wescreates.wesleyan.edu

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

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

Hannaneh Hajishirzi hannanehhajishirziTorode Family Professor · University of Washington

PostdocsDaniel Khashabi

PhDUniversity of Illinois at Urbana-Champaign

homes.cs.washington.edu/~hannaneh

Henk Barendregt henkbarendregtRadboud University

PhD advisorDirk van Dalen, Georg Kreisel

PhD studentsHerman Geuvers

PhDUtrecht University

Master’sUtrecht University

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

Joshua Tan joshuatanExecutive Director · Metagov

Master’sNew York University

UndergraduateYale University

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

Luiz De Sá luizdesa

0009-0003-5731-2224

Noah Smith noahsmithUniversity of Washington

PhD advisorJason Michael Eisner

PostdocsTao Yu

PhDJohns Hopkins University

UndergraduateUniversity of Maryland

nasmith.github.io

Peter B. Andrews peterbandrews

PhD advisorAlonzo Church

PhD studentsFrank Pfenning

PhDPrinceton University

Peter Lee peterleePresident, Microsoft Science · Microsoft

PhD advisorUwe F. Pleban

PhD studentsNoam Zeilberger

PhDUniversity of Michigan

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

Robert Y. Lewis robertylewisBrown University

PhD studentsEric Zhao

0000-0002-5266-1121

Sebastian Thrun sebastianthrunAdjunct Professor · Stanford University

PhD advisorArmin Bernd Cremers, Tom M. Mitchell

PhD studentsMo Tiwari

PhDUniversity of Bonn

robots.stanford.edu

Stefan Mitsch stefanmitschDePaul University

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

Sydney Gibson sydneygibsonSecurity engineering manager · Google

Master’sMassachusetts Institute of Technology

UndergraduateMassachusetts Institute of Technology

sydgibs.com · 0000-0002-8336-5405

Thierry Coquand thierrycoquandProfessor · University of Gothenburg

PhD advisorGérard Huet

PostdocsEvan Cavallo

PhDUniversité Paris Diderot

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

Thomas R. Gross thomasrgrossETH Zurich

PhD studentsStephanie Balzer

PhDStanford University

people.inf.ethz.ch/trg

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

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

Xueyuan Zhao xueyuanzhao

carnegie-mellon-university institution entries/institutions/carnegie-mellon-university.hel