Richard Statman (nacido el 6 de septiembre de 1946) es un americano científico informático cuyo interés principal de investigación es la teoría de la computación , especialmente cálculo simbólico. Su investigación incluye cálculo lambda , teoría de tipos y álgebra combinatoria .
En 1974, Statman recibió su Ph.D. de la Universidad de Stanford por su tesis doctoral, supervisada por Georg Kreisel , titulada Complejidad estructural de las pruebas . Sus logros incluyen la prueba de que el problema de la ocupación de tipos en el cálculo lambda simplemente mecanografiado es PSPACE completo .