SUPPORT THE WORK

GetWiki

Robert Lee Constable

ARTICLE SUBJECTS
aesthetics  →
being  →
complexity  →
database  →
enterprise  →
ethics  →
fiction  →
history  →
internet  →
knowledge  →
language  →
licensing  →
linux  →
logic  →
method  →
news  →
perception  →
philosophy  →
policy  →
purpose  →
religion  →
science  →
sociology  →
software  →
truth  →
unix  →
wiki  →
ARTICLE TYPES
essay  →
feed  →
help  →
system  →
wiki  →
ARTICLE ORIGINS
critical  →
discussion  →
forked  →
imported  →
original  →
Robert Lee Constable
[ temporary import ]
please note:
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki








factoids
Robert "Bob" Lee Constable is a professor of computer science and first and former dean of the department at Cornell University, United States. He is known for his work on connecting computer programs and mathematical proofs, especially the NuPRL system. Constable received his PhD in 1968 under Stephen Kleene and has supervised over 40 students, including Edmund M. Clarke, Robert Harper, Kurt Mehlhorn, Steven Muchnick, Pavel Naumov, and Ryan Stansifer.WEB,weblink Robert Lee Constable, Mathematics Genealogy Project, 2 September 2015, He is a Fellow of the Association for Computing Machinery.Constable has been a director of the Marktoberdorf Summer School.WEB,weblink Robert L. Constable, Cornell University, 1997, 2 September 2015,

Selected publications

  • R. L. Constable and M. J. O'Donnell. 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 135, Springer-Verlag, 1982
  • PRL Group. Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall, Engelwood Cliffs, NJ, 1986.

References

{{reflist}}

External links

  • Homepage at Department of Computing and Information Science, Cornell University
  • {{MathGenealogy|9041}}
{{Authority control}}{{compu-scientist-stub}}

- content above as imported from Wikipedia
- "Robert Lee Constable" does not exist on GetWiki (yet)
- time: 11:35pm EST - Mon, Dec 10 2018
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 09 MAY 2016
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
GETWIKI 20 AUG 2014
GETWIKI 19 AUG 2014
GETWIKI 18 AUG 2014
Wikinfo
Culture
CONNECT