Robert Lee Constable (nacido en 1942) es un informático estadounidense. Es profesor de informática y primer y ex decano del departamento de la Universidad de Cornell , Estados Unidos. Es conocido por su trabajo en la conexión de programas de computadora y pruebas matemáticas, especialmente el sistema Nuprl . Alonzo Church supervisaba la tesis juvenil de Robert mientras estudiaba en Princeton. [1] Constable recibió su doctorado en 1968 con Stephen Kleene y ha supervisado a más de 40 estudiantes, incluidos Edmund M. Clarke , Robert Harper , Kurt Mehlhorn , Steven Muchnick ,Pavel Naumov y Ryan Stansifer. [2] Es miembro de la Association for Computing Machinery .
Robert Lee Constable | |
---|---|
Nació | 1942 |
Ciudadanía | Estados Unidos |
alma mater | Universidad de Princeton , Universidad de Wisconsin – Madison |
Conocido por | Nuprl |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de Cornell |
Asesor de doctorado | Stephen Kleene |
Otros asesores académicos | Iglesia de Alonzo |
Estudiantes de doctorado | Allan Borodin Edmund M. Clarke Robert Harper Kurt Mehlhorn Steven Muchnick Pavel Naumov |
Constable ha sido director de la Escuela de Verano Marktoberdorf . [3]
Publicaciones Seleccionadas
- RL Constable y MJ O'Donnell. Una lógica de programación , Winthrop, Cambridge , 1978.
- RL Constable, SD Johnson y CD Eichenlaub. Introducción a la lógica de programación PL / CV2 . En Lecture Notes in Computer Science 135 , Springer-Verlag , 1982
- Grupo PRL. Implementación de las matemáticas con el sistema de desarrollo de pruebas Nuprl . Prentice-Hall , Engelwood Cliffs, Nueva Jersey, 1986.
Referencias
- ^ "Una conversación con Robert L. Constable" . Repositorio digital de la Universidad de Cornell . Consultado el 29 de septiembre de 2019 .
- ^ "Robert Lee Constable" . Proyecto de genealogía matemática . Consultado el 2 de septiembre de 2015 .
- ^ "Robert L. Constable" . Universidad de Cornell . 1997 . Consultado el 2 de septiembre de 2015 .
enlaces externos
- Página de inicio en el Departamento de Informática y Ciencias de la Información, Universidad de Cornell
- Robert Lee Constable en el Proyecto de genealogía matemática