Chris MyersProfessorDepartment Chair chris.myers@colorado.eduDepartment HomepageAsynchronous Circuit Design | Formal Verification of Analog/Mixed Signal Circuits and Cyber-Physical Systems | Genetic Circuit Modeling, Analysis and Design