Institution. Harvard University

link · harvard.edu · ROR

People

Leslie Valiant leslievaliantHarvard University
PhD advisorMichael Stewart Paterson
PhD studentsBenjamin L. Edelman
PhDUniversity of Warwick
people.seas.harvard.edu/~valiant

Michael J. Hopkins michaeljhopkinsHarvard University
PhD advisorIoan Mackenzie James, Mark E. Mahowald
PhD studentsCharles Rezk
PhDNorthwestern University
people.math.harvard.edu/~mjh

PhD alumni

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

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

Gregory Malecha gregorymalechaDirector of Formal Methods · SkyLabs AI
PhDHarvard University
UndergraduateRice University
gmalecha.github.io · 0000-0003-3952-0807

Sam Wiseman samwiseman
PhD advisorSasha Rush, Stuart M. Shieber
PhDHarvard University
swiseman.github.io · https://github.com/swiseman

Steven Kleiman stevenkleiman
PhD advisorOscar Zariski
PhD studentsDaniel R. Grayson
PhDHarvard University

Undergraduate alumni

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

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

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

John Hamal Hubbard johnhamalhubbardProfessor Emeritus · Cornell University
PhD advisorAdrien Douady
PhD studentsJacques Carette
PhDUniversité Paris Cité
UndergraduateHarvard University
math.cornell.edu/john-h-hubbard

Xander Davies xanderdaviesUK AI Security Institute
UndergraduateHarvard University
xanderdavies.com

Formerly here

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

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 Burcroff amandaburcroffPostdoc · Massachusetts Institute of Technology
0000-0002-0032-4190

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

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

Núria Queralt-Rosinach nuriaqueraltrosinachResearcher · Leiden University Medical Center
nuriaqueralt.wordpress.com · 0000-0003-0169-8159

Sasha Rush sasharushML Researcher, Cursor · Cursor
PhD studentsSam Wiseman
rush-nlp.com · https://github.com/srush

Tom Hales tomhalesMellon Professor of Mathematics · University of Pittsburgh
PhD advisorRobert Langlands
PostdocsFloris van Doorn
PhDPrinceton University
harvard-university institution entries/institutions/harvard-university.hel