Max S. New

Max S. New is an Assistant Professor in Computer Science & Engineering at the University of Michigan, specializing in Programming Languages, Gradual Typing, Secure Compilation, and Category Theory. He is affiliated with the MPLSE research community.

• Education: PhD in Computer Science (Northeastern University, 2020)
• Postdoctoral: Wesleyan University (with Dan Licata)

His research bridges programming language theory with category theory and formal verification. Key contributions include intrinsic verification of parsers using dependent Lambek calculus, gradual type theory with parametricity, and denotational semantics for gradual typing using synthetic guarded domain theory. His work explores language interoperability, compiler intermediate languages, and stack-based effects through relative monads.

Recent publications focus on verified parsing frameworks, automata formalism in linear logic, and category-theoretic models of graduality. He actively contributes to POPL, PLDI, and OOPSLA program committees and serves as a mentor in academic workshops.

Max advises PhD students including

• Eric Giovannini (2021-)
• Steven Schaefer (2023-)
• Eric Bond (2023-)
• Yuchen Jiang (2023-)
• Jesse Slater (2024-, co-advised with Xinyu Wang)

and teaches courses in Category Theory and Compiler Construction.