PROFILPELAJAR.COM

Robert L. Constable
Robert L. Constable
Born	Robert Lee Constable; 1942
Citizenship	United States
Alma mater	A.B. Princeton, (1964); M.A. Wisconsin, (1965); Ph.D. Wisconsin, (1968);
Known for	Nuprl
	Scientific career
Fields	Computer Science
Institutions	Cornell University
Doctoral advisor	Stephen Kleene
Doctoral students	Allan Borodin; Edmund M. Clarke; Robert Harper; Kurt Mehlhorn; Steven Muchnick;

Robert Lee Constable (born 1942) is an American computer scientist. He is a professor of computer science and first and former dean of the Faculty of Computing and Information Science at Cornell University.^[2] He is known for his work on connecting computer programs and mathematical proofs, especially the Nuprl system. Prior to Nuprl, he worked on the PL/CV formal system and verifier.^[3] Alonzo Church supervised Constable's junior thesis while he was studying in Princeton.^[4] Constable received his PhD in 1968 under Stephen Kleene and has supervised over 40 students.^[5]

Constable has been a director of the Marktoberdorf Summer School.^[6]

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.

Development of the Cornell FCIS

In 1999, Cornell created the Faculty of Computing and Information Science, or FCIS, as a college-level entity with a dean but without the administrative structure of a college. Students and faculty had homes in other colleges; faculty would have joint appointments. For example, in 2002, Computer Science faculty were placed in both Engineering and FCIS.^[7] The new FCIS became the umbrella organization for the Program of Computer Graphics and, later, a new Department of Statistical Science. FCIS grew to have more than 50 affiliated faculty, each with a joint appointment in another academic department.^[8] In 2020, with a financial commitment made by Ann S Bowers, it became a real college: The Cornell Bowers CIS — College of Computing and Information Science.^[9]

FCIS was the vision of Robert Constable. He felt that all parts of Cornell would need help using computing in research and teaching in this new computer age, and that required raising computing to the college level. He proposed this new, innovative way, a "faculty" that was structurally a college —but not a real college— headed by a dean. Constable worked over several years to bring this idea to fruition. He was the founding dean and served two five-year terms. In 2008, when he stepped down as chair, then Provost Biddy Martin attributed both the idea and its implementation to Constable.^[10]

A second innovation was a Department of Information Science that would work hand-in-hand with, and not in opposition to, Computer Science —note that IS is in the title FCIS. Constable gave appropriate members of Computer Science the responsibility of developing the new department over the years. Today, in 2024, the IS Department offers majors and minors in all of Cornell's undergrad colleges. Several faculty members are joint with CS and IS.^[13]

Awards

ACM Fellow, 1995.
Guggenheim Fellowship, 1990-1991.
Herbrand Award for Distinguished Contributions to Automated Reasoning, 2014.^[14]

References

^ Robert L. Constable at the Mathematics Genealogy Project
^ Steele, Bill (June 11, 2008). "Robert Constable, founding dean of computing and information science, will step down in 2009". Cornell Chronicle. Cornell University.
^ Constable, Robert L.; Johnson, Scott D. (1979). "A PL/CV Precis". Proceedings of the 6th ACM SIGACT–SIGPLAN symposium on Principles of programming languages (POPL '79). Association for Computing Machinery. pp. 7–20. doi:10.1145/567752.567754.
^ Constable, Robert L.; Gries, David (21 July 2015). "A Conversation with Robert L. Constable". ecommons.cornell.edu. Retrieved 29 September 2019.
^ "Robert Lee Constable". Mathematics Genealogy Project. Retrieved 2 September 2015.
^ "Robert L. Constable". Cornell University. 1997. Retrieved 2 September 2015.
^ "Info Science Unveils New Form". cornell.edu. Archived from the original on 2020-10-30. Retrieved 2024-03-20.
^ The website for FCIS was archived on the wayback machine in 2004. The main page is [1]. Here is the Dean's page: [2]. Here are pages for Computational Biology [3], Computational Science and Engineering [4], information Science [5], and Joint Programs [6].
^ "Cornell Bowers CIS: College of Computing and Information Science". cornell.edu. Archived from the original on 2024-03-19. Retrieved 2024-03-20.
^ "Robert Constable, founding dean of computing and information science, will step down in 2009". cornell.edu. Archived from the original on 2013-06-08. Retrieved 2024-03-20.
^ "Faculty". cs.cornell.edu. Archived from the original on 2023-12-07. Retrieved 2024-03-20.
^ "Faculty". infosci.cornell.edu. Archived from the original on 2023-12-25. Retrieved 2024-03-20.
^ At least four faculty have had joint appointments in Computer Science and Information Science and had leading roles in both departments. In 2023, here is the list of Computer Science faculty^[11] and the Information Science faculty.^[12]
^ "Herbrand Award for Distinguished Contributions to Automated Reasoning, CADE Conference on Automated Deduction". cadeinc.org. Archived from the original on 2016-12-20. Retrieved 2024-03-19.

External links

Homepage at Department of Computing and Information Science, Cornell University
Robert L. Constable at the Mathematics Genealogy Project

P ≟ NP

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.

[mathgeneCons-1] Robert L. Constable at the Mathematics Genealogy Project

[chron-constable-2] Steele, Bill (June 11, 2008). "Robert Constable, founding dean of computing and information science, will step down in 2009". Cornell Chronicle. Cornell University.

[3] Constable, Robert L.; Johnson, Scott D. (1979). "A PL/CV Precis". Proceedings of the 6th ACM SIGACT–SIGPLAN symposium on Principles of programming languages (POPL '79). Association for Computing Machinery. pp. 7–20. doi:10.1145/567752.567754.

[4] Constable, Robert L.; Gries, David (21 July 2015). "A Conversation with Robert L. Constable". ecommons.cornell.edu. Retrieved 29 September 2019.

[5] "Robert Lee Constable". Mathematics Genealogy Project. Retrieved 2 September 2015.

[6] "Robert L. Constable". Cornell University. 1997. Retrieved 2 September 2015.

[7] "Info Science Unveils New Form". cornell.edu. Archived from the original on 2020-10-30. Retrieved 2024-03-20.

[8] The website for FCIS was archived on the wayback machine in 2004. The main page is [1]. Here is the Dean's page: [2]. Here are pages for Computational Biology [3], Computational Science and Engineering [4], information Science [5], and Joint Programs [6].

[9] "Cornell Bowers CIS: College of Computing and Information Science". cornell.edu. Archived from the original on 2024-03-19. Retrieved 2024-03-20.

[10] "Robert Constable, founding dean of computing and information science, will step down in 2009". cornell.edu. Archived from the original on 2013-06-08. Retrieved 2024-03-20.

[11] "Faculty". cs.cornell.edu. Archived from the original on 2023-12-07. Retrieved 2024-03-20.

[12] "Faculty". infosci.cornell.edu. Archived from the original on 2023-12-25. Retrieved 2024-03-20.

[13] At least four faculty have had joint appointments in Computer Science and Information Science and had leading roles in both departments. In 2023, here is the list of Computer Science faculty^[11] and the Information Science faculty.^[12]

[14] "Herbrand Award for Distinguished Contributions to Automated Reasoning, CADE Conference on Automated Deduction". cadeinc.org. Archived from the original on 2016-12-20. Retrieved 2024-03-19.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[13]

[14]

[11]

[12]

PROFILPELAJAR.COM

Robert L. Constable

Selected publications

Development of the Cornell FCIS

Awards

References

External links

Read other articles:

Phasmatodea

Anne Gwynne

Dinasti Qing di Asia Dalam

Articles of Faith (Latter Day Saints)

Mason bee

Museo storico della Liberazione

Liga Champions UEFA 2023–2024

Amirul Mukminin

Serve (tennis)

Голубянки

土库曼斯坦总统

西遊記大結局之仙履奇緣

Sacred Cod

Lucio Dalla

State visit

Copa México 1950-1951

Fernando Cáceres

Levon Helm

1930 United States Senate election in Nebraska

Gabriel Biel