معرفی
Max S. New is an Assistant Professor in Computer Science & Engineering at the University of Michigan, affiliated with the MPLSE research community. He works on the mathematical foundations of programming languages, focusing on Gradual Typing, Category Theory, Secure Compilation, and Effect Handlers. His research bridges formal methods with practical language design.
Educational background:
- PhD in Computer Science, Northeastern University (2020)
- Postdoctoral Research, Wesleyan University (with Dan Licata)
Max's recent work explores the intersection of Dependent Lambek Calculus and parsing verification, Synthetic Guarded Domain Theory for gradual typing semantics, and Relative Monads in computational models. His publications span top venues like PLDI, POPL, and ICFP, emphasizing formal verification and category-theoretic abstractions.
He has served as Committee Member in OOPSLA and POPL, Session Chair for type systems tracks, and Program Co-Chair for HOPE workshops. His PhD students include Eric Giovannini, Steven Schaefer, and Jesse Slater (co-advised with Xinyu Wang).
