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 (es); Dana Scott (hu); Dana Scott (ast); Дана Скотт (ru); Dana Scott (de-ch); Dana Scott (cy); Dana Scott (sq); دانا اسکات (fa); 达纳·斯科特 (zh); Dana Scott (da); Dana Scott (ro); デイナ・スコット (ja); Dana S. Scott (mg); دانا سكوت (arz); דיינה סקוט (he); Dana Scott (fi); Dana Scott (en-ca); Dana Scott (cs); Dana Scott (it); ডানা স্টুয়ার্ট স্কট (bn); Dana S. Scott (fr); Dana Scott (ht); Dana Scott (nl); Dana Scott (sk); 데이나 스콧 (ko); Dana Scott (en); Дейна Скот (bg); Dana Scott (pt); Dana Scott (nn); Dana Scott (sv); Dana Scott (en-gb); Дејна Скот (sr); Dana Scott (sl); Dana Scott (sh); Dana Scott (pt-br); Дана Скотт (uk); Dana Scott (id); Dana Scott (pl); Dana Scott (nb); Dana Skott (az); Dana Scott (ca); دینا اسکات (azb); Dana Scott (tr); Dana Scott (de); Dana Scott (gl); دانا سكوت (ar); Ντέινα Σκοτ (el); Dana Scott (ga) informatico e matematico statunitense (it); আমেরিকান গণিতবিদ এবং কম্পিউটার বিজ্ঞানী (bn); matemàtic, lògic, informàtic i filòsof estatunidenc (ca); US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph (de); matamaiticeoir agus ríomheolaí Meiriceánach (ga); ریاضی‌دان، دانشمند علوم کامپیوتر، و مهندس آمریکایی (fa); amerikansk matematiker, informatiker og ingeniør (da); Amerikalı matematikçi ve bilgisayar bilimcisi (tr); amerikansk matematiker, datavetare och ingenjör (sv); amerikansk matematikar, informatikar og ingeniør (nn); amerikansk matematiker, informatiker og ingeniør (nb); Amerikaans wiskundige (nl); 美國科學家 (zh-hant); ಗಣಿತಜ್ಞ (kn); American mathematician and computer scientist (en); americký informatik, matematik a filozof (cs); американский математик и информатик (ru) Скотт, Дана (ru); Dana Stewart Scott, Dana S. Scott (de); Dana Stewart Scott (pt); Dana S. Scott, Dana Stewart Scott (en); Dana Stewart Scott (gl); Dana Stewart Scott (es); Dana Stewart Scott, Dana S. Scott (ast)
Dana Scott 
American mathematician and computer scientist
Scott Dana small.jpg
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Name in native languageDana Stewart Scott
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
  • Kosta Došen
  • William Chesley Rounds
  • Jon Barwise
  • Roy Dyckhoff
  • James Daniel Halpern
  • Andrej Bauer
  • Michael Katz
  • Carl Allen Gunter
  • Peter Holger Krauss
  • Daniel B. Demaree
  • Daniel Gallin
  • Edgar George Kenneth Lopez-Escobar
  • Peter Perkins
  • Nicolas Daniels Goodman
  • Richard Beech Mansfield
  • William Frederick Ogden
  • Ljubomir Perkovic
  • Lars Birkedal
  • Kim Ritter Wagner
  • J. Todd Wilson
  • Vijay Saraswat
  • Jesse Hughes
  • Michael B. Smyth
  • Brian Farrell Chellas
  • K. Krister (Karl) Segerberg
  • William James Meyers
  • Shun-On Adrian Tang
  • Jay David Atlas
  • Martin K. Davies
  • Robin John Grayson
  • William Bragg Ewald
  • John Cartmell
  • Joseph E. Quinsey
  • Stephen R. Blamey
  • Marcus Giaquinto
  • Joseph Almog
  • Felipe Bracho
  • David Charles McCarty
  • Sidney C. Bailin
  • Giuseppe Rosolini
  • John L. Mumma
  • Christopher Carlson
  • Jeff Heisserman
Occupation
Employer
Member of
Field of work
Spouse
  • Irene Schreier Scott
Award received
Official website
Authority control
Edit infobox data on Wikidata

Media in category "Dana Scott"

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