Robert "Bob" Lee Constable is a professor of computer science

Computer science

Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...

 and first and former dean of the department at Cornell University

Cornell University

Cornell University is an Ivy League university located in Ithaca, New York, United States. It is a private land-grant university, receiving annual funding from the State of New York for certain educational missions...

. He is known for his work on connecting computer programs and mathematical proofs, especially the NuPRL

NuPRL

NuPRL is a higher-order proof development system developed at Cornell University. It was founded by Joseph L. Bates and Robert L. Constable in 1979 and, since then, many have contributed to the development of NuPRL....

 system. Constable received his PhD in 1968 under Stephen Kleene and has supervised over 40 students, including Steven Muchnick

Steven Muchnick

Steven Stanley Muchnick is a noted computer science researcher, best known as author of the 1997 treatise on compilers, "Advanced Compiler Design and Implementation."-Background:...

, Kurt Mehlhorn

Kurt Mehlhorn

Kurt Mehlhorn is a German computer scientist. He has been a vice president of the Max Planck Society and is director of the Max Planck Institute for Computer Science.-Education:...

, Edmund M. Clarke

Edmund M. Clarke

Edmund Melson Clarke, Jr. is a computer scientist and academic noted for developingmodel checking, a method for formally verifying hardware and software designs....

, and Robert Harper

Robert Harper (computer scientist)

Robert "Bob" William Harper, Jr. is a computer science professor at Carnegie Mellon University who works in programming language research. He made major contributions to the design of the Standard ML programming language and the LF logical framework....

. He is a Fellow of the Association for Computing Machinery

Association for Computing Machinery

The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...

.

Selected publications

• R. L. Constable and M. J. O'Donnel. A Programming Logic, Winthrop, Cambridge, 1978.
• R. L. Constable, S. D. Johnson and C. D. Eichenlaub. An Introduction to the PL/CV2 Programming Logic. In Lecture Notes in Computer Science
  Lecture Notes in Computer Science
  Lecture Notes in Computer Science is a series of computer science books that has been published by Springer Science+Business Media since 1973....
  
  135, Springer-Verlag, 1982
• PRL Group. Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall, Engelwood Cliffs, NJ, 1986.

External links

• Homepage at Department of Computing and Information Science, Cornell University