Notable FigureFemale
Dana Scott
born 1932
About this person
Wikipedia SummaryDana Stewart Scott is a retired American logician. Along with Michael O. Rabin he received the 1976 ACM Turing Award for their joint work on automata theory. He has made seminal contributions to automata theory, modal logic, set theory, and the theory of programming languages. He created domain theory, a branch of mathematics that provides a foundation for the theory of programming languages and computability.
Biographical & Professional Details
Date of birth
October 11, 1932
Berkeley
Citizenship
United States
Occupations & fields
mathematiciancomputer scientistengineertopologistuniversity teacherlogician
Awards & honours
Turing AwardGuggenheim FellowshipHarold Pender AwardRolf Schock Prize in Logic and PhilosophyGödel LecturerEATCS award
- Field and occupation
- americký matematik a vysokoškolský pedagog zaměřený na matematickou logiku, teorii automatů a sémantiku programovacích jazyků
Other notable figures named Dana
Get inspired by other figures bearing this name across history and modern times.
