Professor of Electrical and Computer Engineering
Adjunct Professor of Computer Science
Adjunct Professor of Bioengineering
4112 Merrill Engineering Building
(801) 581-6490
(801) 581-5281 (fax)
myers (email: add ece DOT utah DOT edu)

Education

Ph.D., Electrical Engineering, Stanford University, 1995
M.S., Electrical Engineering, Stanford University, 1993
B.S., Electrical Engineering and Chinese History, Caltech, 1991

Awards

• Fellow of the IEEE (2013)
• ECE Departmental Service Award, University of Utah (2013)
• Best Paper Award Symposium on Asynchronous Circuits and Systems (2007)
• Best Paper Award Finalist Symposium on Asynchronous Circuits and Systems (2001)
• Best Paper Award Symposium on Asynchronous Circuits and Systems (1999)
• Teaching commendation for CS/EE 5740 in Fall 1998, University of Utah (1998)
• National Science Foundation CAREER Award (1996)
• National Science Foundation Graduate Fellowship (1991)
• Rodman W. Paul History Prize, California Institute of Technology (1991)
• Tau Beta Pi National Honor Society (1991)
• Carnation Merit Award, California Institute of Technology (1990)
• First Prize VLSI Design Contest, California Institute of Technology (1990)

Research Interests

My current research interests are in the design and formal verification of asynchronous, analog/mixed-signal, and genetic circuits.
For a complete description of our group’s research activities, please see our website.

Recent Publications

• J. Beal, R. Cox, R. Grunberg, J. McLaughlin, T. Nguyen, B. Bartley, M. Bissell, K. Choi, K. Clancy, C. Macklin, C. Madsen, G. Misirli, E. Oberortner, M. Pocock, N. Roehner, M. Samineni, M. Zhang, Z. Zhang, Z. Zundel, J. Gennari, C. Myers, H. Sauro, A. Wipat. “Synthetic Biology Open Language (SBOL) Version 2.1.0,” Journal of Integrative Bioinformatics, 13(3):291, 2016. doi:10.2390/biecoll-jib-2016-291
• F. Schreiber, G. Bader, P. Gleeson, M. Golebiewski, M. Hucka, B. Kornmeier, N. Le Novere, C. Myers, D. Nickerson, B. Sommer, and D. Waltemath. “Specifications of Standards in Systems and Synthetic Biology: Status and Developments in 2016,” Journal of Integrative Bioinformatics, 13(3):289, 2016. doi:10.2390/biecoll-jib-2016-289
• D. Waltemath, J.. Karr, F. Bergmann, V. Chelliah, M. Hucka, M. Krantz, W. Liebermeister, P. Mendes, C. Myers, P. Pir, B. Alaybeyoglu, N. Aranganathan, K. Baghalian, A. Bittig, P. Burke, M. Cantarelli, Y. Chew, R. Costa, J. Cursons, T. Czauderna, A. Goldberg, H. Gómez, J. Hahn, T. Hameri, D. Kazakiewicz, I. Kiselev, V. Knight-Schrijver, C. Knüpfer, M. König, D. Lee, A. Lloret-Villas, N. Mandrik, J. Medley, B. Moreau, H. Meshkin, S. Palaniappan, D. Priego-Espinosa, M. Scharm, M. Sharma, K. Smallbone, N. Stanford, J. Song, T. Theile, M. Tokic, N. Tomar, V. Touré, J. Uhlendorf, T. Varusai, L. Watanabe, F. Wendland, M. Wolfien, J. Yurkovich, Y. Zhu, A. Zardilis, A. Zhukova, and F. Schreiber, Toward community standards and software for whole-cell modeling, in IEEE Transactions on Biomedical Engineering, 63(10):2007-2014, 2016.
• X. Li, C. Myers, and C. Kashyap, Guest Editors’ Introduction Challenges and Opportunities in Analog/Mixed-Signal CAD, in IEEE Design & Test, 33(5): 5-6, 2016.
• V. Dubikhin, D. Sokolov, C. Myers, and A. Yakovlev, Design of Mixed-signal Systems with Asynchronous Control, in IEEE Design and Test Magazine, 33(5): 44-55, 2016.
• L. Watanabe and C. J. Myers, Efficient analysis of SBML models of cellular populations using arrays, in ACS Synthetic Biology, 5(8): 835-841, 2016.
• N. Roehner, J. Beal, K. Clancy, B. Bartley, G. Misirli, R. Grunberg, E. Oberortner, M. Pocock, M. Bissell, C. Madsen, T. Nguyen, M. Zhang, Z. Zhang, Z. Zundel, D. Densmore, J. Gennari, A. Wipat, H. Sauro, and C. Myers, Sharing structure and function in biological design with SBOL 2.0, in ACS Synthetic Biology, 5 (6), pp 498–506, 2016.
• T. Nguyen, N. Roehner, Z. Zundel, and C. Myers, A Converter from the Systems Biology Markup Language to the Synthetic Biology Open Language, in ACS Synthetic Biology, 5 (6), pp 479–486, 2016.
• Z. Zhang, W. Serwe, J. Wu, T. Yoneda, H. Zheng, and C. Myers, An Improved Fault-Tolerant Routing Algorithm for a Network-on-Chip Derived with Formal Analysis, in Science of Computer Programming, 118, 24–39, 2016.
• Z. Zhang, T. Nguyen, N. Roehner, G. Misirli, M. Pocock, E. Oberortner, M. Samineni, Z. Zundel, J. Beal, K. Clancy, A. Wipat, C. Myers, libSBOLj 2.0: A Java Library to Support SBOL 2.0, in IEEE Life Sciences Letters, 1 (4), pp 34-37, 2015.
• C. Myers, Computational Synthetic Biology: Progress and the Road Ahead, in IEEE Transactions on Multi-scale Computing Systems, 1(1): 19-32, 2015.
• J. Quinn, R. Cox, A. Adler, J. Beal, S. Bhatia, Y. Cai, J. Chen, K. Clancy, M. Galdzicki, N. Hillson, N. Le Novère, A. Maheshwari, J. Alastair, C. Myers, Umesh P, M. Pocock, C. Rodriguez, L. Soldatova, G.-B. Stan, N. Swainston, A. Wipat, and H. Sauro, SBOL Visual: A Graphical Language for Genetic Designs, in PLOS Biology, 13(12): e1002310, 2015.
• N. Rodriguez, A. Thomas, L. Watanabe, I. Vazirabad, V. Kofia, H. Gómez, F. Mittag, J. Rudolph, F. Wrzodek, E. Netz, A. Diamantikos, J. Eichner, R. Keller, C. Wrzodek, S. Fröhlich, N. Lewis, C. Myers, N. Le Novère B. Palsson, M. Hucka, and A. Dräger, JSBML 1.0: providing a smorgasbord of options to encode systems biology models, in Bioinformatics, 31(20):3383-6, 2015.
• F. Schreiber, G. Bader, M. Golebiewski, M. Hucka, B. Kornmeier, N. Le Novère, C. Myers, D. Nickerson, B. Sommer, D. Waltemath and S. Weise, Specifications of Standards in Systems and Synthetic Biology, Journal of Integrative Bioinformatics, 12(2):258, 2015.
• L. Smith, M. Hucka, S. Hoops, A. Finney, M. Ginkel, C. Myers, I. Moraru and W. Liebermeister, SBML Level 3 package: Hierarchical Model Composition, Version 1 Release 3, Journal of Integrative Bioinformatics, 12(2):268, 2015.
• M. Hucka, F. Bergmann, A. Dräger, S. Hoops, S. Keating, N. Le Novère, C. Myers, B. Olivier, S. Sahle, J. Schaff, L. Smith, D. Waltemath and D. Wilkinson. Systems Biology Markup Language (SBML) Level 2 Version 5: Structures and Facilities for Model Definitions, Journal of Integrative Bioinformatics, 12(2):271, 2015.
• B.Bartley, J.Beal, K.Clancy, G.Misirli, N.Roehner, E.Oberortner, M.Pocock, M.Bissell, C. Madsen, T. Nguyen, Z. Zhang, J. Gennari, C. Myers, A. Wipat and H. Sauro. Synthetic Biology Open Language (SBOL) Version 2.0.0, Journal of Integrative Bioinformatics, 12(2):272, 2015.
• N. Roehner, Z. Zhang, T. Nguyen, C. Myers, Generating Systems Biology Markup Language Models from the Synthetic Biology Open Language, in ACS Synthetic Biology, 4(8), 867-943, August 21, 2015.
• M. Hucka, D. Nickerson, G. Bader, F. Bergmann, J. Cooper, E. Demir, A. Garny, M. Golebiewski, C. Myers, F. Schreiber, D. Waltemath, N. Le Novère, Promoting coordinated development of community-based information standards for modeling in biology: the COMBINE initiative, in Frontiers in Bioengineering and Biotechnology, 3(19), 2015.
• H. Zheng, Z. Zhang, C. Myers, E. Rodriguez, and Y. Zhang, Compositional Model Checking of Concurrent Systems, in IEEE Transactions on Computers, 64(6), June, 2015.
• N. Roehner, E Oberortner, M. Pocock, J. Beal, K. Clancy, C. Madsen, G. Misirli, A. Wipat, H. Sauro, C. Myers, A Proposed Data Model for the Next Version of the Synthetic Biology Open Language, in ACS Synthetic Biology, 4(1), 57-71, January 16, 2015.
• C. Myers, H. Sauro, and A. Wipat, Introduction to the Special Issue on Computational Synthetic Biology, in ACM Journal on Emerging Technologies in Computing Systems, 11(3), December, 2014.
• C. Madsen, Z. Zhang, N. Roehner, C. Winstead, and C. Myers, Stochastic Model Checking of Genetic Circuits, in ACM Journal on Emerging Technologies in Computing Systems, 11(3), December, 2014.
• L. Watanabe and C. Myers, Hierarchical Stochastic Simulation Algorithm for SBML Models of Genetic Circuits, in Frontiers in Bioengineering and Biotechnology, 2(55), 2014.
• N. Roehner and C. J. Myers, Directed Acyclic Graph-Based Technology Mapping of Genetic Circuit Models, in ACS Synthetic Biology, 3(8), 543-555, August 15, 2014.
• M. Galdzicki, K. Clancy, E. Oberortner, M. Pocock, J. Quinn, C. Rodriguez, N. Roehner, M. Wilson, L. Adam, J. C. Anderson, B. Bartley, J. Beal, D. Chandran, J. Chen, D. Densmore, D. Endy, R. GruÌĹnberg, J. Hallinan, N. Hillson, J. Johnson, A. Kuchinsky, M. Lux, G. Misirli, J. Peccoud, H. Plahar, E. Sirin, G.-B. Stan, A. Villalobos, A. Wipat, J. Gennari, C. Myers, H. Sauro, SBOL: A community standard for communicating designs in synthetic biology, in Nature Biotechnology, 32(6): 545-550, June, 2014.
• D. Waltemath, F. Bergmann, C. Chaouiya, T. Czauderna, P. Gleeson, C. Goble, M. Golebiewski, M. Hucka, N. Juty, O. Krebs, N. Le Novère, H. Mi, I. Moraru, C. Myers, D. Nickerson, B. Olivier, N. Rodriguez, F. Schreiber, L. Smith, F. Zhang, and E. Bonnet, Meeting report from the fourth meeting of the Computational Modeling in Biology Network (COMBINE), in Standards in Genomic Sciences, 9(3), 2014.
• N. Roehner and C. J. Myers, A Methodology to Annotate Systems Biology Markup Language Models with the Synthetic Biology Open Language, in ACS Synthetic Biology, 3(2): 57-66, Feb. 21, 2014.

A complete list can be found on our research group website.

Patents

• R. Ginosar, R. Kol, K. Stevens, P. Beerel, K. Yun, C. Myers, and S. Rotem, Branch instruction handling in a self-timed marking system, issued August 3, 1999, patent number 5,931,944.
• R. Ginosar, R. Kol, K. Stevens, P. Beerel, K. Yun, C. Myers, and S. Rotem, Efficient self-timed marking of lengthy variable length instructions, issued August 24, 1999, patent number 5,941,982.
• R. Ginosar, R. Kol, K. Stevens, P. Beerel, K. Yun, C. Myers, and S. Rotem, Apparatus and method for self-timed marking of variable length instructions having length-affecting prefix bytes, issued September 7, 1999, patent number 5,948,096.
• R. Ginosar, R. Kol, K. Stevens, P. Beerel, K. Yun, C. Myers, and S. Rotem, Apparatus and method for parallel processing and self-timed serial marking of variable length instructions , issued November 2, 1999, patent number 5,978,899.

Course Websites

Most recent course websites use CANVAS. Course websites before 2009 can be found here.

Current Professional Activities

• Member of the IEEE, S’91-M’96-SM’04-Fellow’13 (1991-present)
• Member of the ACM ACM (1996-present)
• Member of the Steering Committee, Synthetic Biology Open Language (2015-present)
• Member of the Steering Committee, Synthetic Biology Standards Consortium (2015-present)
• Guest Editor, IEEE Design & Test Magazine (2015-present)
• COMBINE Coordinator (2014-present)
• Associate Editor, IEEE Life Science Letters (2014-present)
• Member of the Steering Committee, Frontiers in Analog CAD Workshop (2010-present)
• Member of the PC, IJCAI 2016 Workshop: AI for Synthetic Biology (2015-present)
• Member of the PC, Symposium on Theory of Modeling and Simulation (2014-present)
• Member of the PC, Workshop on Hybrid Systems and Biology (2013-present)
• Member of the PC, Forum on Specification and Design Languages (2011-present)
• Member of the PC, Int. Workshop on Bio-Design Automation (2009-present)
• Member of the PC, Frontiers in Analog CAD Workshop (2005-present)