PPLV Seminar: Types and Type-free Lambda Calculus

Speaker: Dana Scott, Carnegie Mellon University
UCL Contact: Reuben Rowe (Visitors from outside UCL please email in advance).
Date/Time: 27 May 16, 11:00 - 12:00
Venue: Room 405, 66-72 Gower Street

Abstract

Denotational semantics started in Oxford in late 1969. It was hoped that domain theory would provide a basis both for recursive definitions in programs and recursive definitions of semantical structures. Early troubles were encountered in using tops and bottoms, and soon researchers turned to operational semantics. Others wanted to expand work to communicating and parallel processes. Axiomatic and synthetic theories did not solve the problems, and as a result much research effort in domain theory faded. Late work by Reynolds and collaborators, however, has opened up new and promising approaches for programming-language semantics. Perhaps the much simplified modeling using enumeration operators can spark some new investigations, especially since it is so easy to add a rich type structure to the calculus.

Dana Scott

Dana Stewart Scott was born 11 October 1932 in Berkeley, California. He studied at the University of California, Berkeley, USA (Bachelor of Arts 1954). He then received his doctorate at Princeton University (Ph.D. 1958), where his advisor was Alonzo Church. Scott subsequently taught at the University of Chicago (1958-60) and then returned to Berkeley to become an Assistant and then Associate Professor (1960-63).

He taught Logic and Mathematics at Stanford University as an Associate Professor (1963-67), before he was promoted to Full Professor (1967-69). Between 1968 and 1969 he accepted a visiting professorship in Amsterdam, the Netherlands. Back in the U.S., he taught Philosophy and Mathematics at Princeton University (1969-72), and then went as the first Professor of Mathematical Logic at Oxford University, UK (1972-81).

Scott received the Turing Award of the Association of Computing Machinery (1976), "along with Michael O. Rabin, for their joint paper 'Finite Automata and Their Decision Problem,' which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field." The joint work on finite-state automata with Michael Rabin was carried out in 1957 during a summer research internship at IBM Research, Yorktown Heights, NY, building on earlier work by Myhill, Nerode, and Kleene.

Scott subsequently became an internationally recognized mathematical logician whose work has spanned computer science, mathematics, and philosophy. He made seminal contributions to automata theory, modal logic, model theory, set theory, and the theory of programming languages. He has made fundamental contributions to contemporary logic and is known for his creation of domain theory, a branch of mathematics that is essential for analyzing computer programming languages.

He taught Computer Science, Mathematical Logic and Philosophy at Carnegie Mellon University (1981-89) before becoming Hillman Professor of Computer Science (1989-2003). He also taught Symbolic Computation and Logic for one year 1992-93 at the University of Linz, Austria. He became Professor Emeritus in July of 2003. Over the years he has supervised the Ph.D. theses of 51 graduate students, some solely, some jointly.

He has been awarded the following research fellowships over the years: Bell Telephone Fellow, Princeton University (1956-57); Miller Institute Fellow, University of California, Berkeley (1960-61); Alfred P. Sloan Research Fellow (1963-65); Guggenheim Foundation Fellow (1978-79); Visiting Scientist, Xerox Palo Alto Research Center (1978-79); Professorial Fellow, Merton College, Oxford (1972-1981); Visiting Professor, Institut Mittag-Leffler, Sweden (Spring 2001); Humbolt Stiftung Senior Visiting Scientist, Munich, Germany (Fall 2003).

Scott holds the following Academy / Association Fellowships: Academia Europaea, American Association for the Advancement of Science, American Academy of Arts and Sciences, American Mathematical Society, Association for Computing Machinery, British Academy, Finnish Academy of Sciences and Letters, New York Academy of Sciences, and the U.S. National Academy of Sciences. He was elected an Honorary Fellow of Merton College, Oxford, in 2014.

With honorary doctorates from the Rijksuniversiteit Utrecht (1986), the Technical University of Darmstadt (1995), the University of Edinburgh (1995), the University of Ljubljana (2003), and St Andrews University, Scotland, (2014), Scott has also received among other awards the Leroy P. Steele Prize from the American Mathematical Society (1972), the Harold Pender Award, University of Pennsylvania (1990), the Rolf Schock Prize in Logic and Philosophy, Royal Swedish Academy of Sciences (1997), the Bolzano Medal for Merit in the Mathematical Sciences awarded by the Czech Academy of Sciences (2001), and the Gold Medal of the Sobolev Institute of Mathematics, Novosibirsk, Russia (2009).

After retirement, he and his wife, Irene, have now resided in Berkeley since 2005. Their daughter, Monica, lives nearby with her husband and the two grandchildren.