Dana S. Scott
Dana S. Scott , born in 1932, was professor of Informatique and Mathématiques to the Université Carnegie Mellon. It is currently reprocessed but has a title of professor emeritus (" Hillman University Professor").
Its research tasks, which recut at the same time data processing, mathematics and philosophy, were characterized by the concern of working out fundamental concepts in a rigorous but clear way and by a study of the mathematical difficulties subjacent with these concepts. Its work on the automata theory was worth the Prix Turing in 1976 and the price of in 2007 to him, and its collaboration with Christopher Strachey in the Années 1970 provided the foundations of the modern approaches of the semantics of the computer programming languages.
He also worked on the modal logical , the Topologie and the Théorie of the categories.
| Random links: | Canton of Villenauxe-the-Large | Mount-in-the Enclus | Pierre Marois | Saab 105 | Edge (village) | Bataille_du_Nek |