Dana S. Scott


Dana S. Scott
Page d'aide sur l'homonymie Pour les articles homonymes, voir Scott.
Dana S. Scott.

Dana Stewart Scott, né en 1932, était professeur d'informatique et de mathématiques à l'université Carnegie Mellon. Il est actuellement retraité mais possède un titre de professeur émérite ("Hillman University Professor").

Ses travaux de recherche, qui recoupent à la fois l'informatique, les mathématiques et la philosophie, se sont caractérisés par le souci d'élaborer des concepts fondamentaux de façon rigoureuse mais claire et par une étude des difficultés mathématiques sous-jacentes à ces concepts. Son travail sur la théorie des automates lui a valu le prix Turing en 1976 et le prix de l'EATCS en 2007, et 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.

Il a travaillé également sur les logiques modales, la topologie et la théorie des catégories.

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Dana S. Scott de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Dana S. Scott — Dana Stewart Scott (* 1932 in Berkeley) ist ein US amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie und Semantik der Programmiersprachen geleistet hat. Dana Scott …   Deutsch Wikipedia

  • Dana Scott — Dana Stewart Scott Born October 11, 1932 (1932 10 11) (age 79) …   Wikipedia

  • Dana Scott — Saltar a navegación, búsqueda Dana Stewart Scott Nacimiento 1932 …   Wikipedia Español

  • Dana Scott — Dana S. Scott Pour les articles homonymes, voir Scott. Dana S. Scott. Dana S. Scott, né en 1932, était professeur d informat …   Wikipédia en Français

  • Dana Scott — Dana Stewart Scott (* 11. Oktober 1932 in Berkeley) ist ein amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie und Semantik der Programmiersprachen gel …   Deutsch Wikipedia

  • Dana Sterling — Robotech character Voiced by Melissa Newman (Robotech TV series) Deanna Morris (Robotech II: The Sentinels) …   Wikipedia

  • Scott Hall — Infobox Wrestler name=Scott Hall names=Scott Hallcite web|url=http://www.onlineworldofwrestling.com/profiles/s/scott hall.html|title=Scott Hall Profile|publisher=Online World of Wrestling|accessdate=2008 06 18] Magnum Scott Hall Starship Coyote… …   Wikipedia

  • Scott domain — In the mathematical fields of order and domain theory, a Scott domain is an algebraic, bounded complete cpo. It has been named in honour of Dana S. Scott, who was the first to study these structures at the advent of domain theory. Scott domains… …   Wikipedia

  • Dana Jacobson — participates in a skydive with the Army Golden Knights at Fort Bragg, NC. Born November 5, 1971 (1971 11 05) (age 40) …   Wikipedia

  • Dana Beal — speaking in Boston in 2009 Irvin Dana Beal (born January 9, 1947 in Ravenna, Ohio) is an American social and political activist, best known for his efforts to legalize marijuana. He is a long term activist in the Youth International Party… …   Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.