Dana Scott - Vikipedi

Dana Stewart Scott

Doğum	11 Ekim 1932 (93 yaşında) Berkeley, Kaliforniya, ABD
Eğitim	Kaliforniya Üniversitesi, Berkeley Princeton Üniversitesi
Ödüller	Leroy P. Steele Ödülü (1972) Turing Ödülü (1976)

Kariyeri
Dalı	Bilgisayar bilimi Matematik Felsefe
Çalıştığı kurumlar	Kaliforniya Üniversitesi, Berkeley Stanford Üniversitesi Oxford Üniversitesi Carnegie Mellon Üniversitesi
Doktora danışmanı	Alonzo Church
Doktora öğrencileri	Jack Copeland Michael Fourman Fred S. Roberts David Turner^[1]

Dana Stewart Scott (d. 11 Ekim 1932), Amerikalı bilgisayar bilimcisi. Özdevinim kuramına katkılarından ötürü 1976'da Turing Ödülü'nü almaya hak kazanmıştır. Scott'ın Christopher Strachey'le birlikte yaptığı çalışmalar programlama dillerinin anlambilimine yönelik çağdaş yaklaşımların ilki kabul edilmektedir.

Kaynakça

[değiştir | kaynağı değiştir]

^ "Dana Stewart Scott". Mathematics Genealogy Project. Kuzey Dakota Eyalet Üniversitesi. 8 Haziran 2017 tarihinde kaynağından arşivlendi. Erişim tarihi: 31 Aralık 2017. (İngilizce)

Amerikalı bilim insanı ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.

g t d Turing Ödülü sahipleri
1960'lar	Alan Perlis (1966) Maurice Vincent Wilkes (1967) Richard Hamming (1968) Marvin Minsky (1969)
1970'ler	James H. Wilkinson (1970) John McCarthy (1971) Edsger W. Dijkstra (1972) Charles Bachman (1973) Donald Knuth (1974) Allen Newell / Herbert A. Simon (1975) Michael O. Rabin / Dana Scott (1976) John Backus (1977) Robert W. Floyd (1978) Kenneth E. Iverson (1979)
1980'ler	Tony Hoare (1980) Edgar F. Codd (1981) Stephen A. Cook (1982) Ken Thompson / Dennis Ritchie (1983) Niklaus Wirth (1984) Richard M. Karp (1985) John Hopcroft / Robert Tarjan (1986) John Cocke (1987) Ivan Sutherland (1988) William Kahan (1989)
1990'lar	Fernando J. Corbató (1990) Robin Milner (1991) Butler Lampson (1992) Juris Hartmanis / Richard E. Stearns (1993) Edward Feigenbaum / Raj Reddy (1994) Manuel Blum (1995) Amir Pnueli (1996) Douglas Engelbart (1997) Jim Gray (1998) Fred Brooks (1999)
2000'ler	Andrew Yao (2000) Ole-Johan Dahl / Kristen Nygaard (2001) Ron Rivest / Adi Shamir / Leonard Adleman (2002) Alan Kay (2003) Vint Cerf / Bob Kahn (2004) Peter Naur (2005) Frances E. Allen (2006) Edmund M. Clarke / E. Allen Emerson / Joseph Sifakis (2007) Barbara Liskov (2008) Charles P. Thacker (2009)
2010'lar	Leslie G. Valiant (2010) Judea Pearl (2011) Shafi Goldwasser / Silvio Micali (2012) Leslie Lamport (2013) Michael Stonebraker (2014) Martin Hellman / Whitfield Diffie (2015) Tim Berners-Lee (2016) John L. Hennessy / David Patterson (2017) Yoshua Bengio / Geoffrey Hinton / Yann LeCun (2018) Ed Catmull / Pat Hanrahan (2019)
2020'ler	Alfred Aho / Jeffrey Ullman (2020) Jack Dongarra (2021) Robert Metcalfe (2022) Avi Wigderson (2023) Andrew Barto / Richard S. Sutton (2024)

g t d Schock Ödülü sahipleri
Felsefe & mantık	Willard Van Orman Quine (1993) Michael Dummett (1995) Dana Scott (1997) John Rawls (1999) Saul Kripke (2001) Solomon Feferman (2003) Jaakko Hintikka (2005) Thomas Nagel (2008) Hilary Putnam (2011) Derek Parfit (2014) Ruth Millikan (2017) Saharon Shelah (2018) Dag Prawitz / Per Martin-Löf (2020) David Kaplan (2022)
Matematik	Elias M. Stein (1993) Andrew Wiles (1995) Mikio Sato (1997) Yuri I. Manin (1999) Elliott H. Lieb (2001) Richard P. Stanley (2003) Luis Caffarelli (2005) Endre Szemerédi (2008) Michael Aschbacher (2011) Yitang Zhang (2014) Richard Schoen (2017) Ronald Coifman (2018) Nikolai G. Makarov (2020) Jonathan Pila (2022)
Müzik	Ingvar Lidholm (1993) György Ligeti (1995) Jorma Panula (1997) Kronos Quartet (1999) Kaija Saariaho (2001) Anne Sofie von Otter (2003) Mauricio Kagel (2005) Gidon Kremer (2008) Andrew Manze (2011) Herbert Blomstedt (2014) Wayne Shorter (2017) Barbara Hannigan (2018) György Kurtág (2020) Víkingur Ólafsson (2022)
Görsel sanatlar	Rafael Moneo (1993) Claes Oldenburg (1995) Torsten Andersson (1997) Herzog & de Meuron (1999) Giuseppe Penone (2001) Susan Rothenberg (2003) SANAA / Kazuyo Sejima + Ryue Nishizawa (2005) Mona Hatoum (2008) Marlene Dumas (2011) Anne Lacaton / Jean-Philippe Vassal (2014) Doris Salcedo (2017) Andrea Branzi (2018) Francis Alÿs (2020) Rem Koolhaas (2022)

g t d EATCS Ödülü sahipleri
Karp (2000) Böhm (2001) Nivat (2002) Rozenberg (2003) Salomaa (2004) Milner (2005) Paterson (2006) Scott(2007) Valiant (2008) Huet (2009) Mehlhorn (2010) Trakhtenbrot (2011) Vardi (2012) Dyer (2013) Plotkin (2014) Papadimitriou (2015) Kozen (2016) Tardos (2017)

Otorite kontrolü	ACM DL: 81100545006 BIBSYS: 90601455 BNF: cb16034934c (data) CiNii: DA00234668 DBLP: s/DanaSScott GND: 1090819455 ISNI: 0000 0001 1068 0677 LCCN: n79118951 MGP: 8024 NKC: xx0267847 NLA: 35435763 NLI: 987007299816205171 NTA: 069584737 RERO: A005624174 SUDOC: 082943141 Trove: 518152 VIAF: 65289661 WorldCat (LCCN): n79-118951