Max S. New

Max S. New is an Assistant Professor in Computer Science & Engineering at the University of Michigan, part of the MPLSE research community. His research focuses on the mathematical foundations of programming languages, particularly interoperability between languages via Gradual Typing and compiler intermediate languages. He holds a PhD from Northeastern University (2020) and completed a postdoc at Wesleyan University.

Research interests include formal methods, type theory, compiler design, and categorical logic. Recent work emphasizes verified parsing using Dependent Lambek Calculus, demonstrated in a PLDI 2025 paper accepted with students Steven Schaefer and collaborators.

Advises PhD students in areas like language interoperability and formal verification. Active in open-source projects like the Agda implementation of Dependent Lambek Calculus.