Category:Dana Scott

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
English: Dana Stewart Scott (born 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University.
Deutsch: Dana Stewart Scott (* 1932) ist ein US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie und Semantik der Programmiersprachen geleistet hat.

Dana Scott 
Scott Dana small.jpg
American mathematician and computer scientist
Date of birth 11 October 1932
Country of citizenship
Educated at
Doctoral advisor
  • Alonzo Church
Doctoral student
  • Jack Copeland
  • Michael Fourman
  • Kenneth Kunen
  • Angus Macintyre
  • Ketan Mulmuley
  • Marko Petkovšek
  • Fred S. Roberts
  • David Turner
  • mathematician
  • computer scientist
  • engineer
  • topologist
  • university teacher
Member of
  • American Mathematical Society
  • National Academy of Sciences
  • Academia Europaea
  • Finnish Academy of Science and Letters
  • American Academy of Arts and Sciences
  • Association for Computing Machinery
Field of work
Award received
  • Turing Award (Michael O. Rabin, 1976)
  • John Simon Guggenheim Memorial Foundation Fellowship
  • Harold Pender Award
  • Rolf Schock Prize in Logic and Philosophy (1997)
  • Gödel Lecturer (1991)
  • EATCS award (2007)
  • Leroy P. Steele Prize (1972)
  • Rolf Schock Prizes (1997)
Official website
Authority control
Blue pencil.svg

Media in category "Dana Scott"

The following 2 files are in this category, out of 2 total.