Μετάβαση στο περιεχόμενο

Ντέινα Σκοτ

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Ντέινα Σκοτ
Γενικές πληροφορίες
Όνομα στη
μητρική γλώσσα
Dana Stewart Scott (Αγγλικά)
Γέννηση11  Οκτωβρίου 1932
Μπέρκλι
Χώρα πολιτογράφησηςΗνωμένες Πολιτείες Αμερικής
Εκπαίδευση και γλώσσες
Ομιλούμενες γλώσσεςΑγγλικά[1]
Εκπαίδευσηδιδάκτωρ φιλοσοφίας
ΣπουδέςΠανεπιστήμιο του Πρίνστον
Πανεπιστήμιο της Καλιφόρνιας, Μπέρκλεϋ
Πληροφορίες ασχολίας
Ιδιότηταμαθηματικός
επιστήμονας υπολογιστών
μηχανικός
τοπολόγος
διδάσκων πανεπιστημίου
ΕργοδότηςΠανεπιστήμιο της Καλιφόρνιας, Μπέρκλεϋ
Πανεπιστήμιο του Σικάγου
Πανεπιστήμιο Κάρνεγκι Μέλον[2]
Johannes Kepler University Linz[3]
Οικογένεια
ΣύζυγοςIrene Schreier Scott[4]
ΣυγγενείςΌτο Σράιερ (πεθερός)[4]
Αξιώματα και βραβεύσεις
ΒραβεύσειςΒραβείο Τούρινγκ (1976)[5][6]
Υποτροφία Γκούγκενχαϊμ (1978)[7]
βραβείο Χάρολντ Πέντερ (1990)[8]
Βραβείο Ρολφ Σοκ στην λογική και φιλοσοφία (1997)
Gödel Lecturer (1991)
EATCS award (2007)
βραβείο Λιρόϊ Π. Στιλ (1972)[9]
Βραβείο Σοκ (1997)
ACM Fellow (1994)[10]
honorary doctor of the University of Utrecht
επίτιμος διδάκτωρ του Πανεπιστημίου του Εδιμβούργου
εταίρος της Αμερικανικής Μαθηματικής Εταιρίας (2013)[11][12]
Ιστότοπος
www.cs.cmu.edu/~scott
Commons page Σχετικά πολυμέσα

Ο Ντέινα Σκοτ (Dana Stewart Scott, 11 Οκτωβρίου, 1932) είναι ομότιμος καθηγητής Πληροφορικής, Φιλοσοφίας και Μαθηματικής Λογικής, στο Πανεπιστήμιο Κάρνεγκι Μέλον, που πλέον ζει στο Μπέρκλεϊ της Καλιφόρνια.

Εκπόνησε τη διδακτορική του διατριβή υπό τον Αλόνζο Τσερτς, την οποία υποστήριξε στο Πανεπιστήμιο Πρίνστον το 1958. Ερευνητικά έχει εντρυφήσει στη θεωρία υπολογισμού, και γενικότερα στα μαθηματικά και τη φιλοσοφία, με θεμελιώδεις συνεισφορές στη θεωρία αυτομάτων και τη σημασιολογία γλωσσών προγραμματισμού, καθώς και στην τροπική λογική, την τοπολογία και τη θεωρία κατηγοριών.

Για το έργο του έχει τιμηθεί μεταξύ άλλων και με το βραβείο Τούρινγκ.

Εξωτερικοί σύνδεσμοι

[Επεξεργασία | επεξεργασία κώδικα]