Richard Statman

Richard Statman
Född	6 september 1946 ( 1946-09-06 ) ( 76 år )
Alma mater	Stanford University
Vetenskaplig karriär
Fält	datavetenskap
institutioner	Carnegie Mellon
Doktorand rådgivare	Georg Kreisel

Richard Statman (född 6 september 1946) är en amerikansk datavetare vars huvudsakliga forskningsintresse är teorin om beräkning , särskilt symbolisk beräkning. Hans forskning involverar lambdakalkyl , typteori och kombinatorisk algebra .

Karriär

1974 disputerade Statman . från Stanford University för sin Ph.D. avhandling, handled av Georg Kreisel , med titeln Structural Complexity of Proofs . Hans prestationer inkluderar beviset på att typbebyggelseproblemet i enkelt maskinskriven lambda-kalkyl är PSPACE-komplett .

externa länkar

• Carnegie Mellon profil