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
Wikipedia-logo-v2.svg Wikipedia
Date of birth11 October 1932
Berkeley
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
Occupation
Employer
Member of
Field of work
Award received
Official website
Authority control
Blue pencil.svg

Media in category "Dana Scott"

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