Professor Dana Scott will deliver the 2015 Boole Lecture
Professor Dana Scott will deliver the 2015 Boole Lecture on Friday August 28th 2015, this lecture will form part of the a Boole Bicentenary Celebrations, see further details below
George Boole Bicentenary Celebration Programme
The George Boole Bicentenary Celebration will be held in Boole 4, Boole Lecture Theatres, UCC. For directions, see OpenStreetMap or Google Maps.
Friday, 28th August
| 19:00 |
Welcome
Professor John O'Halloran, Deputy President, UCC Professor Barry O'Sullivan, Head of Department, Computer Science |
| 19:15 |
Boole Lecture Series - 2015 Lecture
My Life with Boolean Algebra
Professor Dana Scott, CMU, USA
Abstract. In 1950 the speaker entered UC Berkeley as a first-year major in Mathematics and very soon was confronted with learning about Boolean algebras. And the encounters continue to this day! The talk will first review elementary ideas and definitions, and then discuss the impact of the work of nine 20th-century pioneers the speaker knew personally. The concluding section will outline prospects for future applications, list some outstanding problems, and point out key influences on the foundations of mathematics.
|
| 20:30 |
Reception (Aula Maxima) |
Biography :
Dana Scott is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University. His research career spans computer science, mathematics, and philosophy. His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He made seminal 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 is the editor-in-chief of the journal Logical Methods in Computer Science.
Honors and Awards
LeRoy P. Steele Prize, American Mathematical Society (1972)
ACM Turing Award (with Michael Rabin) (1976)
Harold Pender Award, University of Pennsylvania (1990)
Rolf Schock Prize in Logic and Philosophy, Royal Swedish Academy of Sciences (1997)
Bolzano Medal for Merit in the Mathematical Sciences, Czech Academy of Sciences (2001)
European Association for Theoretical Computer Science (EATCS) Award (2007)
Russian Academy of Science’s Sobolev Institute of Mathematics Gold Medal (2009)
Academy/Association Fellowships
American Academy of Arts and Sciences
British Academy
Finnish Academy of Sciences and Letters
New York Academy of Sciences
US National Academy of Sciences
Academia Europaea
Fellow of the ACM
