Robert L. Constable

Last updated
Robert L. Constable
Born
Robert Lee Constable

1942
CitizenshipUnited States
Alma mater
Known for Nuprl
Scientific career
Fields Computer Science
Institutions Cornell University
Doctoral advisor Stephen Kleene
Doctoral students

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]

Contents

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

Selected publications

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

Related Research Articles

<span class="mw-page-title-main">PL/C</span> Programming language developed at Cornell University

PL/C is an instructional dialect of the programming language PL/I, developed at the Department of Computer Science of Cornell University in the early 1970s in an effort headed by Professor Richard W. Conway and graduate student Thomas R. Wilcox. PL/C was developed with the specific goal of being used for teaching programming. The PL/C compiler, which implemented almost all of the large PL/I language, had the unusual capability of never failing to compile a program, through the use of extensive automatic correction of many syntax errors and by converting any remaining syntax errors to output statements. This was important because, at the time, students submitted their programs on IBM punch cards and might not get their output back for several hours. Over 250 other universities adopted PL/C; as one late-1970s textbook on PL/I noted, "PL/C ... the compiler for PL/I developed at Cornell University ... is widely used in teaching programming." Similarly, a mid-late-1970s survey of programming languages said that "PL/C is a widely used dialect of PL/I."

<span class="mw-page-title-main">Charles E. Leiserson</span> American computer scientist

Charles Eric Leiserson is a computer scientist and professor at Massachusetts Institute of Technology (M.I.T.). He specializes in the theory of parallel computing and distributed computing.

<span class="mw-page-title-main">Courant Institute of Mathematical Sciences</span> Division of New York University, US (founded 1935)

The Courant Institute of Mathematical Sciences is the mathematics research school of New York University (NYU). Founded in 1935, it is named after Richard Courant, one of the founders of the Courant Institute and also a mathematics professor at New York University from 1936 to 1972, and serves as a center for research and advanced training in computer science and mathematics. It is located on Gould Plaza next to the Stern School of Business and the economics department of the College of Arts and Science.

The Herbrand Award for Distinguished Contributions to Automated Reasoning is an award given by the Conference on Automated Deduction (CADE), Inc., to honour persons or groups for important contributions to the field of automated deduction. The award is named after the French scientist Jacques Herbrand and given at most once per CADE or International Joint Conference on Automated Reasoning (IJCAR). It comes with a prize of US$1,000. Anyone can be nominated, the award is awarded after a vote among CADE trustees and former recipients, usually with input from the CADE/IJCAR programme committee.

<span class="mw-page-title-main">Michael Sipser</span> American theoretical computer scientist (born 1954)

Michael Fredric Sipser is an American theoretical computer scientist who has made early contributions to computational complexity theory. He is a professor of applied mathematics and was the dean of science at the Massachusetts Institute of Technology.

Charles Francis Van Loan is an emeritus professor of computer science and the Joseph C. Ford Professor of Engineering at Cornell University, He is known for his expertise in numerical analysis, especially matrix computations.

<span class="mw-page-title-main">Zvi Galil</span> Israeli mathematician and computer scientist

Zvi Galil is an Israeli-American computer scientist and mathematician. He has served as the dean of the Columbia University School of Engineering and Applied Science and as the president of Tel Aviv University from 2007 through 2009. From 2010 to 2019, he was the dean of the Georgia Institute of Technology College of Computing.

<span class="mw-page-title-main">McGill University School of Computer Science</span>

The School of Computer Science is an academic department in the Faculty of Science at McGill University in Montreal, Quebec, Canada. The School is the second most funded computer science department in Canada. As of 2024, it has 46 faculty members, 60 Ph.D. students and 100 Master's students.

<span class="mw-page-title-main">David Gries</span> American computer scientist

David Gries is an American computer scientist at Cornell University, mainly known for his books The Science of Programming (1981) and A Logical Approach to Discrete Math.

<span class="mw-page-title-main">Edmund M. Clarke</span> American computer scientist (1945–2020)

Edmund Melson Clarke, Jr. was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, received the 2007 ACM Turing Award.

Owen Astrachan is an American computer scientist and professor of the practice of computer science at Duke University, where he is also the department's director of undergraduate studies. He is known for his work in curriculum development and methods of teaching computer science. He was one of the first National Science Foundation CISE Distinguished Education Fellows, and is a recipient of the ACM Outstanding Educator Award. He was the principal investigator on the multi-year NSF/College Board project that led to the release of the AP Computer Science Principles course and exam.

Donald W. Loveland is a professor emeritus of computer science at Duke University who specializes in artificial intelligence. He is well known for the Davis–Putnam–Logemann–Loveland algorithm.

<span class="mw-page-title-main">Prakash Panangaden</span> American/Canadian computer scientist

Prakash Panangaden is an American/Canadian computer scientist noted for his research in programming language theory, concurrency theory, Markov processes and duality theory. Earlier he worked on quantum field theory in curved space-time and radiation from black holes. He is the founding Chair of the ACM Special Interest Group on Logic and Computation.

<span class="mw-page-title-main">Martha E. Pollack</span> American computer scientist

Martha Elizabeth Pollack is an American computer scientist who has served as the 14th president of Cornell University since April 2017. Previously, she served as the 14th provost and executive vice president for academic affairs of the University of Michigan from 2013 to 2017.

<span class="mw-page-title-main">Keshav K Pingali</span> American computer scientist

Keshav K Pingali is an American computer scientist, currently the W.A."Tex" Moncrief Chair of Grid and Distributed Computing at the University of Texas at Austin, and also a published author. He previously also held the India Chair of Computer Science at Cornell University and also the N. Rama Rao Professorship at Indian Institute of Technology. He is a Fellow of the American Association for the Advancement of Science, Association for Computing Machinery and Institute of Electrical and Electronics Engineers. In 2020, he was elected a Foreign Member of the Academia Europeana.

Kavita Bala is an American computer scientist, academic and entrepreneur. She is a Professor in the Department of Computer Science at Cornell University. After serving as department chair from 2018–2020, she was appointed Dean of the Faculty for Computing and Information Science, now known as the Ann S. Bowers College of Computing and Information Science.

<span class="mw-page-title-main">Thomas F. Coleman</span> Canadian mathematician and computer scientist (1950–2021)

Thomas F. Coleman is a Canadian mathematician and computer scientist who is a Professor in the Department of Combinatorics and Optimization at the University of Waterloo, where he holds the Ophelia Lazaridis University Research Chair. In addition, Coleman is the director of WatRISQ, an institute composed of quantitative and computational finance researchers spanning several Faculties at the University of Waterloo.

Richard Walter Conway was an American industrial engineer and computer scientist who was the Emerson Electric Company Professor of Manufacturing Management, Emeritus in the Johnson Graduate School of Management at Cornell University. Conway spent his entire academic career, both as a student and a professor, at Cornell and held faculty positions at Cornell in several different areas: industrial engineering, operations research, computer science, and management science. He was especially known for his work and publications in foundational questions about computer simulation methodology; in writing about production scheduling theory; in developing computer languages and language compilers, including the widely used PL/C dialect of IBM's PL/I language; in authoring or co-authoring textbooks about computer programming; and in developing simulation software for manufacturing. He was also the first director of the Office of Computing Services at Cornell.

<span class="mw-page-title-main">Cornell Computing and Information Science</span> Information science program at Cornell University

Cornell Computing and Information Science is the umbrella name for the information science program at Cornell University, a private university based in Ithaca, New York, United States.

References

  1. ↑ Robert L. Constable at the Mathematics Genealogy Project
  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 . Here is the Dean's page: . Here are pages for Computational Biology , Computational Science and Engineering , information Science , and Joint Programs .
  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.


This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.