Dana Scott

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 anlam bilimine yönelik çağdaş yaklaşımların ilki kabul edilmektedir.

Dana Stewart Scott

Doğum	11 Ekim 1932 (1932-10-11) 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]

Kaynakça

"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)

Turing Ödülü sahipleri
1960lar	Alan Perlis (1966) Maurice Vincent Wilkes (1967) Richard Hamming (1968) Marvin Minsky (1969)
1970ler	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)
1980ler	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)
1990lar	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)
2000ler	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)
2010lar	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)

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)
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)
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)
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)

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)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.