Ντέινα Σκοτ
<br>

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

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

Για το έργο του έχει τιμηθεί μεταξύ άλλων και με το βραβείο Τούρινγκ.
Q18743
1932
TIME
Q4027615
Πληροφορικής
Concept
Q5891
Φιλοσοφίας
Concept
Q1166618
Μαθηματικής Λογικής
Concept
Q190080
Πανεπιστήμιο Κάρνεγκι Μέλον
ORG
Q99
Καλιφόρνια
LOC
None
Αλόνζο Τσερτς
UNK
Q21578
Πανεπιστήμιο Πρίνστον
ORG
Q844718
θεωρία υπολογισμού
Concept
Q395
μαθηματικά
Concept
Q214526
θεωρία αυτομάτων
Concept
Q1437428
σημασιολογία γλωσσών προγραμματισμού
Concept
None
τροπική λογική
UNK
Q42989
τοπολογία
Concept
Q217413
θεωρία κατηγοριών
Concept
Q185667
βραβείο Τούρινγκ
EVE
Q49823
Ντέινα Σκοτ
PER
1932-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1932
DATE
+11^^http://www.w3.org/2001/XMLSchema#decimal
11
NUMBER
field of work
educated at
field of work
award received
point in time
part of
part of