 |
Business | Industries | Finance | Tax |
| Index: > A B C D E F G H I J K L M N O P Q R S T U V W X Y Z |
|
|||||
| First Prev [ 1 2 ] Next Last |
Dana S. Scott (born 1932) is the incumbent Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University. His research career has spanned computer science, mathematics, and philosophy, and has been characterised by a marriage of a concern for elucidating fundamental concepts in the manner of informal rigour, with a cultivation of mathematically hard problems that bear on these concepts. His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with
Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology and category theory.He received his Bachelor's degree from the University of California, BerkeleyThe University of California, Berkeley (also known as Cal Berkeley UCB or UC Berkeley is a public, coeducational university situated in the foothills of Berkeley, California to the east of San Francisco Bay, overlooking the Golden Gate and its bridge. in 1954Events January events January 14 The Hudson Motor Car Company merges with Nash-Kelvinator forming the American Motors Corporation January 14 Marilyn Monroe weds Joe DiMaggio. January 15 Mau Mau leader Waruhiu Itote is captured in Kenya January 20 The Nati.
He wrote his PhD thesis on Convergent Sequences of Complete Theories under the supervision of Alonzo ChurchAlonzo Church ( June 14, 1903 August 11, 1995) was an American mathematician and logician who was responsible for some of the foundations of theoretical computer science. Born in Washington, DC, he received a bachelor's degree from Princeton University in while at Princeton, and defended his thesis in 1958Events January January 1 Treaty of Rome founding the EU is implemented January 4 Sputnik 1 falls to Earth from its orbit (launched on October 4 1957) January 8 14 year old Bobby Fischer wins the United States Chess Championship January 18 Armed Lumbee Nat. After completing his PhD studies, he moved to the University of ChicagoThe University of Chicago is a university located in Chicago, Illinois. Just over a century old, it includes departments and committees of: Physics, Economics, Music (theory), Sociology, Linguistics, Political Science, Social Thought, International Relati, working as an instructor there until 1960.
In 1959Events January-February January 1 Cultivars of plants named after this date must be named in a modern language, not in Latin. January 1 Cuba: Fulgencio Batista flees Havana when forces of Fidel Castro advance January 2 CBS Radio cuts four soap operas: Bac, he published a joint paper with Michael O. RabinMichael O. Rabin (born 1931 in Breslau, Germany) is a noted computer scientist and a recipient of the Turing Award, the most prestigious award in the field. Rabin was born as the son of a rabbi in what was then known as Breslau (it became Wroclaw and part, a colleague from Princeton, entitled Finite Automata and Their Decision Problem, which introduced the idea of nondeterministic machines to automata theory. This work led to the joint bestowal of the Turing Award on the two, for the introduction of this fundamental concept of computational complexity theory.
Scott took up a post as Assistant Professor of Mathematics, at the University of California, Berkeley, the university of Alfred Tarski, and involved himself with classical
issues in mathematical logic, especially set theory and Tarskian model theory.
During this period he started supervising PhD students, such as James Halpern (Contributions to the Study of the Independence of the Axiom of Choice), and Edgar Lopez-Escobar (Infinitely Long Formulas with Countable Quantifier Degrees). Scott's work as research supervisor has been an important source of his intellectual influence.
| Politics | Business | Finance |
 |
 |
 |
|