Dana S. Scott

(Redirigé depuis Dana Scott)
Dana Stewart Scott
Crédit image:
Andrej Bauer
licence CC BY-SA 2.5 si 🛈
Dana S. Scott (2007)
Biographie
Naissance
Nom dans la langue maternelle
Dana Stewart Scott
Nationalité
Formation
Activités
Conjoint
Irene Schreier Scott ()
Parentèle
Otto Schreier (beau-père)
Autres informations
A travaillé pour
Membre de
Directeur de thèse
Site web
Distinctions

Dana Stewart Scott, né le à Berkeley en Californie, est un mathématicien et informaticien américain.

Carrière

Dana Scott est un spécialiste de la théorie des automates et de la sémantique des langages de programmation. Il a également travaillé en logique modale, topologie, et théorie des catégories. Professeur d'informatique et de mathématiques à l'université Carnegie-Mellon jusqu'à sa retraite en 2003, il est depuis professeur émérite à l'université Carnegie-Mellon en tant que Hillman University Professor of Computer Science, Philosophy and Mathematical Logic. Sa collaboration avec Christopher Strachey dans les années 1970 a jeté les bases des approches modernes de la sémantique des langages de programmation.

Prix et distinctions

Dana Scott a reçu plusieurs prix prestigieux tout au long de sa carrière :

Carrière universitaire

Dana Scott a été successivement :

Notes et références

  1. ↑ « Dana Stewart Scott », Mathematics Genealogy Project, université d'État du Dakota du Nord (consulté le )

Liens externes

Lauréats du prix Turing
Lauréats du prix EATCS
Lauréats du prix Schock
Logique et philosophie
Mathématiques
Arts visuels
Arts musicaux
Gödel Lecturer (34)
Personnalité en théorie des modèles (29)
Docteur honoris causa de l'université de technologie de Darmstadt (26)
Docteur honoris causa de l'université d'Utrecht (30)
Dernière mise à jour du contenu le .
Droit d'auteur : le texte de l'article est disponible sous la licence CC BY-SA 3.0.
Les détails concernant les licences et crédits des images sont disponibles en cliquant sur l'image.
Le site Wikimonde est un agrégateur d'articles encyclopédiques, il n'est pas à l'origine du contenu des articles, ni des images.
Le contenu de cet article est une copie de l'article d'origine (//fr.wikipedia.org/wiki/Dana_S._Scott) publié sur Wikipédia (wiki collaboratif publié sous licence libre).
Le contenu des articles n'est pas garanti.
Le texte des articles n'est pas modifié par Wikimonde. Des modifications mineures de mise en page et des liens internes (pour faciliter la navigation) peuvent être effectués automatiquement.
Des crédits concernant les images peuvent être ajoutés automatiquement selon les informations fournis par le site d'origine.
Les images sont chargées depuis des sites externes, certaines peuvent ne pas s'afficher.
Auteurs de cet article « Dana S. Scott » :
Vlaam, Loveless, Synthwave.94, RobokoBot, EmausBot, Speculos, Cardabela48, Ange Gabriel, NeoBot, Cbyd, Authueil, Nomen ad hoc, Sebleouf, HerculeBot, Hercule, Bob08, Roniee, Cantons-de-l'Est, KasparBot, PIerre.Lescanne, Bub's wikibot, GLec, RobotQuistnix, TXiKiBoT, VolkovBot, SieBot, Luckas-bot, WikitanvirBot, Addbot, Epsilon0, PieRRoBoT, Phe-bot, SniperMaské, Bot de pluie, Roll-Morton, HunsuBot, Louperibot, JackBot, Eskimbot, TobeBot, Xic667, ManiacParisien, Fadesga, ZX81-bot, Zebulon84bot, Roidecoeur, Gene.arboit, LuaBot, Erasmus, Thijs!bot, Kilom691, Bap, Zawer, Archibald, Valérie75, Eusebius, WartBot, AlleborgoBot, Oyp, LaaknorBot, AutoritéBot, 7 utilisateurs non enregistrés.