Ντέινα Σκοτ

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

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

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

Δείτε ακόμη
 Μή ντετερμινιστικό αυτόματο
 Θεωρία πεδίων
 Τοπολογία Σκοτ
 Σύστημα πληροφορίας Σκοτ

Παραπομπές

Εξωτερικοί σύνδεσμοι
 Προσωπική ιστοσελίδα
 Η σελίδα του στο Mathematics Genealogy Project

Κατηγορία:Αμερικανοί μαθηματικοί
Κατηγορία:Αμερικανοί επιστήμονες υπολογιστών
Κατηγορία:Μαθηματικοί του 20ού αιώνα
Κατηγορία:Παραλήπτες βραβείου Τούρινγκ
Κατηγορία:Απόφοιτοι του Πανεπιστημίου Πρίνστον