Institution. Indiana University
People
Carlo Angiuli carloangiuli
Gerardo Ortiz gerardoortiz
Johnson He johnsonhe
Master’sUniversity of Michigan
UndergraduateUniversity of Michigan
Sam Tobin-Hochstadt samtobinhochstadt
PhD alumni
Chao-Hong Chen chaohongchen
Master’sNational Chiao Tung University
UndergraduateNational Chiao Tung University
Lindsey Kuper lindseykuper
Michael D. Adams michaeldadams
Master’s alumni
William J. Bowman williambowman
PhD advisorAmal Ahmed
PhD studentsPaulette Koronkevich
Master’sIndiana University
UndergraduateIndiana University
Undergraduate alumni
Paulette Koronkevich paulettekoronkevich
William J. Bowman williambowman
PhD advisorAmal Ahmed
PhD studentsPaulette Koronkevich
Master’sIndiana University
UndergraduateIndiana University
Formerly here
Amal Ahmed amalahmed
PhD studentsJohn Li, Max S. New, William J. Bowman
Master’sStanford University
UndergraduateBrown University
Steven Schaefer stevenschaefer
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).