Richard Statman

Richard Statman is a Professor in the Department of Mathematical Sciences at Carnegie Mellon University. His research focuses on mathematical logic, proof theory, and the theory of computation, with particular emphasis on lambda calculus, combinatory logic, and the theory of programming languages. His work explores typed lambda calculus, reduction strategies, combinators, and connections to other mathematical fields. Statman has published extensively on these topics, including studies on intersection types, semigroups, and functional equations. His research has appeared in various conferences and journals, contributing to the fields of symbolic computing and theorem proving.