Richard Statman (nacido el 6 de septiembre de 1946) es un informático estadounidense cuyo principal interés de investigación es la teoría de la computación , especialmente la computación simbólica. Su investigación incluye el cálculo lambda , la teoría de tipos y el álgebra combinatoria .
En 1974, Statman recibió su doctorado en la Universidad de Stanford por su tesis doctoral, supervisada por Georg Kreisel , titulada Complejidad estructural de las pruebas . Entre sus logros se incluye la prueba de que el problema de habitabilidad de tipos en el cálculo lambda de tipos simples es PSPACE-completo .