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 - 13 results of 13 for search 'Dana Scott', query time: 0.04s Refine Results
  1. 1
    Modeling Powassan virus infection in Peromyscus leucopus, a natural host.

    Modeling Powassan virus infection in Peromyscus leucopus, a natural host. by Luwanika Mlera, Kimberly Meade-White, Greg Saturday, Dana Scott, Marshall E Bloom

    Published 2017-01-01
    Get full text
    Article
  2. 2
    Delayed Disease Progression in Cynomolgus Macaques Infected with Ebola Virus Makona Strain

    Delayed Disease Progression in Cynomolgus Macaques Infected with Ebola Virus Makona Strain by Andrea Marzi, Friederike Feldmann, Patrick W. Hanley, Dana Scott, Stephan Günther, Heinz Feldmann

    Published 2015-10-01
    Get full text
    Article
  3. 3
    Comparison of the pathogenicity of Nipah virus isolates from Bangladesh and Malaysia in the Syrian hamster.

    Comparison of the pathogenicity of Nipah virus isolates from Bangladesh and Malaysia in the Syrian hamster. by Blair L DeBuysscher, Emmie de Wit, Vincent J Munster, Dana Scott, Heinz Feldmann, Joseph Prescott

    Published 2013-01-01
    Get full text
    Article
  4. 4
    Impairing RAGE signaling promotes survival and limits disease pathogenesis following SARS-CoV-2 infection in mice

    Impairing RAGE signaling promotes survival and limits disease pathogenesis following SARS-CoV-2 infection in mice by Forrest Jessop, Benjamin Schwarz, Dana Scott, Lydia M. Roberts, Eric Bohrnsen, John R. Hoidal, Catharine M. Bosio

    Published 2022-01-01
    Get full text
    Article
  5. 5
    Immunocompetent mouse model for Crimean-Congo hemorrhagic fever virus

    Immunocompetent mouse model for Crimean-Congo hemorrhagic fever virus by David W Hawman, Kimberly Meade-White, Shanna Leventhal, Friederike Feldmann, Atsushi Okumura, Brian Smith, Dana Scott, Heinz Feldmann

    Published 2021-01-01
    Get full text
    Article
  6. 6
    Bactrian camels shed large quantities of Middle East respiratory syndrome coronavirus (MERS-CoV) after experimental infection

    Bactrian camels shed large quantities of Middle East respiratory syndrome coronavirus (MERS-CoV) after experimental infection by Danielle R. Adney, Michael Letko, Izabela K. Ragan, Dana Scott, Neeltje van Doremalen, Richard A. Bowen, Vincent J. Munster

    Published 2019-01-01
    Get full text
    Article
  7. 7
    Safety of Recombinant VSV–Ebola Virus Vaccine Vector in Pigs

    Safety of Recombinant VSV–Ebola Virus Vaccine Vector in Pigs by Emmie de Wit, Andrea Marzi, Trenton Bushmaker, Doug Brining, Dana Scott, Juergen A. Richt, Thomas W. Geisbert, Heinz Feldmann

    Published 2015-04-01
    Get full text
    Article
  8. 8
    Pathogenicity and Viral Shedding of MERS-CoV in Immunocompromised Rhesus Macaques

    Pathogenicity and Viral Shedding of MERS-CoV in Immunocompromised Rhesus Macaques by Joseph Prescott, Darryl Falzarano, Emmie de Wit, Kath Hardcastle, Friederike Feldmann, Elaine Haddock, Dana Scott, Heinz Feldmann, Vincent Jacobus Munster

    Published 2018-02-01
    Get full text
    Article
  9. 9
    Domestic Pig Unlikely Reservoir for MERS-CoV

    Domestic Pig Unlikely Reservoir for MERS-CoV by Emmie de Wit, Friederike Feldmann, Eva Horne, Cynthia Martellaro, Elaine Haddock, Trenton Bushmaker, Kyle Rosenke, Atsushi Okumura, Rebecca Rosenke, Greg Saturday, Dana Scott, Heinz Feldmann

    Published 2017-06-01
    Get full text
    Article
  10. 10
    Replicating RNA vaccination elicits an unexpected immune response that efficiently protects mice against lethal Crimean-Congo hemorrhagic fever virus challenge

    Replicating RNA vaccination elicits an unexpected immune response that efficiently protects mice against lethal Crimean-Congo hemorrhagic fever virus challenge by Shanna S. Leventhal, Kimberly Meade-White, Deepashri Rao, Elaine Haddock, Jacqueline Leung, Dana Scott, Jacob Archer, Samantha Randall, Jesse H. Erasmus, Heinz Feldmann, David W. Hawman

    Published 2022-08-01
    Get full text
    Article
  11. 11
    Defining the Syrian hamster as a highly susceptible preclinical model for SARS-CoV-2 infection

    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
    Get full text
    Article
  12. 12
    Severe acute respiratory disease in American mink experimentally infected with SARS-CoV-2

    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
    Get full text
    Article
  13. 13
    Hydroxychloroquine prophylaxis and treatment is ineffective in macaque and hamster SARS-CoV-2 disease models

    Hydroxychloroquine prophylaxis and treatment is ineffective in macaque and hamster SARS-CoV-2 disease models by Kyle Rosenke, Michael A. Jarvis, Friederike Feldmann, Benjamin Schwarz, Atsushi Okumura, Jamie Lovaglio, Greg Saturday, Patrick W. Hanley, Kimberly Meade-White, Brandi N. Williamson, Frederick Hansen, Lizette Perez-Perez, Shanna Leventhal, Tsing-Lee Tang-Huau, Julie Callison, Elaine Haddock, Kaitlin A. Stromberg, Dana Scott, Graham Sewell, Catharine M. Bosio, David Hawman, Emmie de Wit, Heinz Feldmann

    Published 2020-12-01
    Get full text
    Article

Search Tools: