University 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

Thomas Porter thomasporterPhD · University of Michigan

PhD advisorCyrus Omar

UndergraduateCornell University

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

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

PhDUniversity of Wisconsin

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

Tony Nuda Zhang tonynudazhangUniversity of Michigan

0009-0009-0288-8270

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

PhD advisorJenna Wiens

Master’sStanford University

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

Valeria Bertacco valeriabertaccoUniversity of Michigan

0000-0002-0319-3368

Westley Weimer westleyweimerUniversity of Michigan

0000-0001-6749-2204

Yatin Manerkar yatinmanerkarUniversity of Michigan

PhD studentsPranav Srinivasan

0000-0002-6954-2292

Yichen Tao yichentaoPhD · University of Michigan

PhD advisorJean-Baptiste Jeannin

PhDUniversity of Michigan

Yonathan Fisseha yonathanfissehaPhD · University of Michigan

PhD advisorJean-Baptiste Jeannin

PhDUniversity of Michigan

yonathanfisseha.com · 0009-0000-9645-2885

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

Yuwei Hu yuweihuUniversity of Michigan

Zhiyao Zhong zhiyaozhongUniversity of Michigan

PhD alumni

Alexander Bandukwala alexanderbandukwalaPhD · University of Michigan

PhD advisorCyrus Omar

PhDUniversity of Michigan

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

David Moon davidmoonPhD · University of Michigan

PhD advisorCyrus Omar

PhDUniversity of Michigan

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

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

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

Matthew Keenan matthewkeenanPhD · University of Michigan

PhD advisorCyrus Omar

PhDUniversity of Michigan

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

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

Peter Lee peterleePresident, Microsoft Science · Microsoft

PhD advisorUwe F. Pleban

PhD studentsNoam Zeilberger

PhDUniversity of Michigan

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

Pranav Srinivasan pranavsrinivasanPhD · University of Michigan

PhD advisorManos Kapritsos, Yatin Manerkar

PhDUniversity of Michigan

Master’sUniversity of Michigan

UndergraduateUniversity of Michigan

pransr.in · GenericMonkey

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

Shibo Chen shibochenPlatform Architect · Tenstorrent

PhDUniversity of Michigan

UndergraduateUniversity of Michigan

shibo.tech · 0000-0002-9522-8934

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

Yichen Tao yichentaoPhD · University of Michigan

PhD advisorJean-Baptiste Jeannin

PhDUniversity of Michigan

Yonathan Fisseha yonathanfissehaPhD · University of Michigan

PhD advisorJean-Baptiste Jeannin

PhDUniversity of Michigan

yonathanfisseha.com · 0009-0000-9645-2885

Master’s alumni

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

Elanor Tang elanortangPhD · Carnegie Mellon University

PhD advisorBryan Parno

Master’sUniversity of Michigan

UndergraduateUniversity of Michigan

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

Hannah Potter hannahpotterPhD Student · University of Washington

PhD advisorRené Just

Master’sUniversity of Michigan

UndergraduateUniversity of Utah

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

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

Johnson He johnsonhePhD · Indiana University

Master’sUniversity of Michigan

UndergraduateUniversity of Michigan

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

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

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

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

Pranav Srinivasan pranavsrinivasanPhD · University of Michigan

PhD advisorManos Kapritsos, Yatin Manerkar

PhDUniversity of Michigan

Master’sUniversity of Michigan

UndergraduateUniversity of Michigan

pransr.in · GenericMonkey

Rosanne Liu rosanneliuGoogle DeepMind

PhDNorthwestern University

Master’sUniversity of Michigan

UndergraduateFudan University

rosanneliu.com

Undergraduate alumni

Amit Gaggar amitgaggarProfessor · University of Alabama at Birmingham

PhDUniversity of Alabama at Birmingham

UndergraduateUniversity of Michigan

0000-0003-1586-5632

Anand Dukkipati ananddukkipatiSoftware Development Engineer II · Amazon

UndergraduateUniversity of Michigan

0009-0000-3141-9144

Elanor Tang elanortangPhD · Carnegie Mellon University

PhD advisorBryan Parno

Master’sUniversity of Michigan

UndergraduateUniversity of Michigan

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

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

James McCann jamesmccannAssociate Professor · Carnegie Mellon University

PhDCarnegie Mellon University

UndergraduateUniversity of Michigan

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

Johnson He johnsonhePhD · Indiana University

Master’sUniversity of Michigan

UndergraduateUniversity of Michigan

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

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

Juechu Dong juechudongPhD Candidate · University of Michigan

UndergraduateUniversity of Michigan

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

Li Zhang lizhangAssistant Professor · Drexel University

PhD advisorChris Callison-Burch

PhDUniversity of Pennsylvania

UndergraduateUniversity of Michigan

zharry29.github.io

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

UndergraduateUniversity of Michigan

mdxn.org · 0000-0001-9282-3175

Michael Ivanitskiy michaelivanitskiyMATS program scholar

PhD advisorCecilia Diniz Behn

UndergraduateUniversity of Michigan

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

Michael Rosenberg michaelrosenberg

PhD advisorIan Miers, Jonathan Katz

PhDUniversity of Maryland, College Park

UndergraduateUniversity of Michigan

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

Nathan Varner nathanvarnerUniversity of Michigan

UndergraduateUniversity of Michigan

nathanvarner.com

Pranav Srinivasan pranavsrinivasanPhD · University of Michigan

PhD advisorManos Kapritsos, Yatin Manerkar

PhDUniversity of Michigan

Master’sUniversity of Michigan

UndergraduateUniversity of Michigan

pransr.in · GenericMonkey

Shibo Chen shibochenPlatform Architect · Tenstorrent

PhDUniversity of Michigan

UndergraduateUniversity of Michigan

shibo.tech · 0000-0002-9522-8934

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