Deft Development

Zachary Tatlock (University of Washington), Theme Leader

These efforts work to slash design costs by building turnkey system development infrastructure that ushers designs from high-level languages to packaged systems. It does this by leveraging modern high-level languages that better express the intent of the system’s designer, making it possible to efficiently and correctly map a design onto a collection of reusable components.

ADA-T1 Metrics

  1. Last Year

    4 Research Data
  2. Since Inception

    7 Projects
    11 Universities
    113 Research Scholars
    22 Faculty Researchers
    42 Liaisons
    677 Research Data
Updated: 24-Jul-2024, 12:05 a.m. ET

4819 Emperor Blvd, Suite 300 Durham, NC 27703 Voice: (919) 941-9400 Fax: (919) 941-9450

Important Information for the SRC website. This site uses cookies to store information on your computer. By continuing to use our site, you consent to our cookies. If you are not happy with the use of these cookies, please review our Cookie Policy to learn how they can be disabled. By disabling cookies, some features of the site will not work.