معرفی
Richard Statman is a Professor in the Department of Mathematical Sciences at Carnegie Mellon University, affiliated with the Mellon College of Science. His research focuses on mathematical logic, proof theory, and computation theory, with a particular emphasis on lambda calculus and programming languages. He holds an M.A. from the University of Cambridge and a Ph.D. from Stanford University.
Statman's work spans six key areas: typed lambda calculus extensions, evaluation strategies, combinatory algebra, computability, functional equations, and connections to semigroup theory. His publications from 2013 to 2018 explore topics such as type systems, semigroup representations, and fixed-point theorems in lambda calculus.
No scientific awards are explicitly listed in the provided text. His advising and grant activities are not detailed here. He is associated with foundational research in theoretical computer science and mathematical logic.
