Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
MENU

  • People

    • Faculty

    • Students

    • Alumni

  • Research

    • Genetic Design Automation

    • Formal Verification of Cyber-Physical Systems

    • Analog Circuit Design and Verification

    • Asynchronous Circuit Design and Verification

  • Publications

    • Engineering Genetic Circuits

    • Asynchronous Circuit Design

    • Books and Book Chapters

    • Dissertations and Theses

    • Journal Papers

    • Patents

    • Conference / Workshop Papers

  • Tools

    • iBioSim

    • SynBioHub

    • SBOLDesigner

    • SBOL Libraries

    • SBOL Validator

    • LEMA

    • ATACS

Myers Research Group

The University of Utah

Myers Research Group

  • People

    • Faculty

    • Students

    • Alumni

  • Research

    • Genetic Design Automation

    • Formal Verification of Cyber-Physical Systems

    • Analog Circuit Design and Verification

    • Asynchronous Circuit Design and Verification

  • Publications

    • Engineering Genetic Circuits

    • Asynchronous Circuit Design

    • Books and Book Chapters

    • Dissertations and Theses

    • Journal Papers

    • Patents

    • Conference / Workshop Papers

  • Tools

    • iBioSim

    • SynBioHub

    • SBOLDesigner

    • SBOL Libraries

    • SBOL Validator

    • LEMA

    • ATACS

Research

  • Genetic Design Automation
  • Formal Verification of Cyber-Physical Systems
  • Analog Circuit Design and Verification
  • Asynchronous Circuit Design and Verification
QUICK LINKS

  • People

    • Faculty

    • Students

    • Alumni

  • Research

    • Genetic Design Automation

    • Formal Verification of Cyber-Physical Systems

    • Analog Circuit Design and Verification

    • Asynchronous Circuit Design and Verification

  • Publications

    • Engineering Genetic Circuits

    • Asynchronous Circuit Design

    • Books and Book Chapters

    • Dissertations and Theses

    • Journal Papers

    • Patents

    • Conference / Workshop Papers

  • Tools

    • iBioSim

    • SynBioHub

    • SBOLDesigner

    • SBOL Libraries

    • SBOL Validator

    • LEMA

    • ATACS



  • CIS
  • U-Mail
  • youtube

Department of Electrical and Computer Engineering
50 S. Central Campus Dr., Rm. 3280
Salt Lake City, UT 84112
801.581.8378

© 2024 The University of Utah