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 
American mathematician and computer scientist
Scott Dana small.jpg
Upload media
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
Dana Scott (es); Dana Scott (hu); دینا اسکات (azb); Dana Scott (de-ch); Dana Scott (de); Dana Scott (en-gb); دانا اسکات (fa); 达纳·斯科特 (zh); Dana Scott (da); Dana Scott (tr); デイナ・スコット (ja); Dana S. Scott (mg); Dana Scott (sk); דיינה סקוט (he); Dana Scott (fi); Dana Scott (en-ca); Dana Scott (cs); Dana Scott (it); ডানা স্টুয়ার্ট স্কট (bn); Dana S. Scott (fr); Dana Scott (ht); Dana Scott (pt); Dana Scott (nl); Dana Scott (ro); Дана Скотт (ru); Дејна Скот (sr); Dana Scott (sl); Dana Scott (en); Dana Scott (pt-br); Дейна Скот (bg); Dana Scott (id); Dana Scott (pl); Dana Scott (nb); Dana Scott (sh); Dana Scott (nn); Dana Scott (sv); Dana Scott (ca); Дана Скотт (uk); Dana Scott (gl); دانا سكوت (ar); Ντέινα Σκοτ (el); 데이나 스콧 (ko) informatico e matematico statunitense (it); amerikansk matematiker, datavetare och ingenjör (sv); amerikansk matematikar, informatikar og ingeniør (nn); amerikansk matematiker, informatiker og ingeniør (nb); Amerikaans wiskundige (nl); matemàtic, lògic, informàtic i filòsof estatunidenc (ca); US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph (de); ಗಣಿತಜ್ಞ (kn); American mathematician and computer scientist (en); ریاضی‌دان، دانشمند علوم کامپیوتر، و مهندس آمریکایی (fa); американский математик и информатик (ru); amerikansk matematiker, informatiker og ingeniør (da) Скотт, Дана (ru); Dana Stewart Scott, Dana S. Scott (de); Dana S. Scott, Dana Stewart Scott (en)

Media in category "Dana Scott"

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