Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Το λήμμα δεν περιέχει πηγές ή αυτές που περιέχει δεν επαρκούν. Μπορείτε να βοηθήσετε προσθέτοντας την κατάλληλη τεκμηρίωση. Υλικό που είναι ατεκμηρίωτο μπορεί να αμφισβητηθεί και να αφαιρεθεί.
Η σήμανση τοποθετήθηκε στις 02/10/2015.
Ο Ντέινα Σκοτ (Dana Stewart Scott , 11 Οκτωβρίου, 1932 ) είναι ομότιμος καθηγητής Πληροφορικής , Φιλοσοφίας και Μαθηματικής Λογικής , στο Πανεπιστήμιο Κάρνεγκι Μέλον , που πλέον ζει στο Μπέρκλεϊ της Καλιφόρνια .
Εκπόνησε τη διδακτορική του διατριβή υπό τον Αλόνζο Τσερτς , την οποία υποστήριξε στο Πανεπιστήμιο Πρίνστον το 1958. Ερευνητικά έχει εντρυφήσει στη θεωρία υπολογισμού , και γενικότερα στα μαθηματικά και τη φιλοσοφία, με θεμελιώδεις συνεισφορές στη θεωρία αυτομάτων και τη σημασιολογία γλωσσών προγραμματισμού , καθώς και στην τροπική λογική , την τοπολογία και τη θεωρία κατηγοριών .
Για το έργο του έχει τιμηθεί μεταξύ άλλων και με το βραβείο Τούρινγκ .