Max New

About

Max New is an Assistant Professor at the University of Michigan, USA. His research areas include formal grammar theory, denotational semantics, and gradual typing, as evidenced by his recent publications. Notable articles include "Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus" and "Gradual Typing for Effect Handlers." He is engaged in exploring notions of stack-manipulating computation and relative monads, contributing significantly to the field of type theory.