Robert Constable

ACM Fellows

USA - 1995

citation

For fundamental contributions to the field of logic and its computational aspects, especially his work on providing mechanical assistance in problem solving through the software system Nuprl.