Skip to main content

Daniel J. Sorin

Professor of Electrical and Computer Engineering
Electrical and Computer Engineering
Box 90291, Durham, NC 27708-0291
403 Wilkinson Building, Durham, NC 27708

Research Interests


Computer architecture, designing microarchitectures so that they are easier to verify, improving computer system fault tolerance, developing memory systems for multicore processors, and designing special-purpose accelerators

Selected Grants


SHF: Small: Transforming Computer Architecture Evaluation with Statistical Model Checking

ResearchPrincipal Investigator · Awarded by National Science Foundation · 2021 - 2024

SHF:Small:Automatic Generation of Cache Coherent Memory Systems for Multicore Processors

ResearchPrincipal Investigator · Awarded by National Science Foundation · 2020 - 2024

CIF:Small:High Performance Memories that Integrate Coding and Computer Architecture

ResearchCo Investigator · Awarded by National Science Foundation · 2017 - 2020

SHF:Small:Designing Architectures to be Formally Verifiable

ResearchPrincipal Investigator · Awarded by National Science Foundation · 2014 - 2018

SHF:Small:Using Coding Theory to Optimize the Representation of Information in Computer Architecture

ResearchPrincipal Investigator · Awarded by National Science Foundation · 2014 - 2018

SHF: Small: Transforming Computer Architecture Evaluation with Statistical Model Checking

ResearchPrincipal Investigator · Awarded by National Science Foundation · 2021 - 2024

SHF:Small:Automatic Generation of Cache Coherent Memory Systems for Multicore Processors

ResearchPrincipal Investigator · Awarded by National Science Foundation · 2020 - 2024

CIF:Small:High Performance Memories that Integrate Coding and Computer Architecture

ResearchCo Investigator · Awarded by National Science Foundation · 2017 - 2020

SHF:Small:Designing Architectures to be Formally Verifiable

ResearchPrincipal Investigator · Awarded by National Science Foundation · 2014 - 2018

SHF:Small:Using Coding Theory to Optimize the Representation of Information in Computer Architecture

ResearchPrincipal Investigator · Awarded by National Science Foundation · 2014 - 2018

SHF:Small:Shared Memory Architectures and Microarchitectures for Heterogeneous General-Purpose Chips

ResearchPrincipal Investigator · Awarded by National Science Foundation · 2012 - 2016

SHF:Small:Commodity Processors with Mainframe Reliability

ResearchPrincipal Investigator · Awarded by National Science Foundation · 2011 - 2015

CCF: EAGER: FIESTA: A Sound Multi-Program Workload Methodology

ResearchPrincipal Investigator · Awarded by National Science Foundation · 2012 - 2013

CPA-CSA: Verification-Aware Microarchitecture

ResearchPrincipal Investigator · Awarded by National Science Foundation · 2008 - 2012

CAREER: Improving Multiprocessor Availability with Dynamic Verification and Autonomic Operation

ResearchPrincipal Investigator · Awarded by National Science Foundation · 2005 - 2011

Autonomic Computing via Dynamic Self-Repair of Hardware Faults

ResearchPrincipal Investigator · Awarded by National Aeronautics and Space Administration · 2005 - 2008

ITR: Nanoarchitecture: Balancing Regularity, Complexity, and Defect Tolerance using DNA for Nanoeletronic Integration

ResearchCo Investigator · Awarded by National Science Foundation · 2003 - 2007

Architectural Support for Service Level Agreements

ResearchCo-Principal Investigator · Awarded by National Science Foundation · 2003 - 2007

FaultFinder: Improving the Availabiltiy of Multiprocessor Servers

ResearchPrincipal Investigator · Awarded by National Science Foundation · 2003 - 2006

External Relationships


  • Morgan & Claypool Publishers. Purchased by Springer in 2022, info below is for M&C.
  • Realtime Robotics

This faculty member (or a member of their immediate family) has reported outside activities with the companies, institutions, or organizations listed above. This information is available to institutional leadership and, when appropriate, management plans are in place to address potential conflicts of interest.