Dana Scott
Dana Stewart Scott (born October 11, 1932) is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His work on automata theory earned him the 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 also worked on modal logic, topology, and category theory. Provided by Wikipedia
Showing 1 - 3 results of 3 for search 'Dana Scott', query time: 0.04s
Refine Results
-
1
-
2
Defining the Syrian hamster as a highly susceptible preclinical model for SARS-CoV-2 infection by Kyle Rosenke, Kimberly Meade-White, Michael Letko, Chad Clancy, Frederick Hansen, Yanan Liu, Atsushi Okumura, Tsing-Lee Tang-Huau, Rong Li, Greg Saturday, Friederike Feldmann, Dana Scott, Zhongde Wang, Vincent Munster, Michael A. Jarvis, Heinz Feldmann
Published 2020-01-01
Article -
3
Severe acute respiratory disease in American mink experimentally infected with SARS-CoV-2 by Danielle R. Adney, Jamie Lovaglio, Jonathan E. Schulz, Claude Kwe Yinda, Victoria A. Avanzato, Elaine Haddock, Julia R. Port, Myndi G. Holbrook, Patrick W. Hanley, Greg Saturday, Dana Scott, Carl Shaia, Andrew M. Nelson, Jessica R. Spengler, Cassandra Tansey, Caitlin M. Cossaboom, Natalie M. Wendling, Craig Martens, John Easley, Seng Wai Yap, Stephanie N. Seifert, Vincent J. Munster
Published 2022-11-01
Article