Max New

Max New is an Assistant Professor in the Department of Computer Science and Engineering at the University of Michigan's College of Engineering. He specializes in programming languages, type theory, and formal semantics, with particular focus on gradual typing, functional programming, and category theory. His research emphasizes foundational aspects of programming languages and their semantic properties.

He advises graduate students through weekly one-on-one meetings and hosts weekly group meetings at an on-campus café to foster collaboration. Students are expected to conduct research, publish papers, and maintain on-campus presence. Teaching responsibilities include serving as a Graduate Student Instructor (GSI) for 1-2 semesters.

His recent work explores topics like stack-manipulating computation, denotational semantics of gradual typing, and formal category theory. Conference attendance is supported through research funds and college grants. Students typically take time off during major holidays and summer months.