Chris J. Myers
  • Professor, Elect & Computer Engineering
  • Adjunct Professor, Bioengineering

Publications

  • C. Myers (2018). A Brief History of COMBINE. 2017 Winter Simulation Conference. Published, 12/01/2018.
  • McLaughlin JA, Myers CJ, Zundel Z, Mısırlı G, Zhang M, Ofiteru ID, Goñi-Moreno A & Wipat A (2018). SynBioHub: A Standards-Enabled Design Repository for Synthetic Biology. ACS synthetic biology. Vol. 7, 682-688. Published, 03/01/2018.
  • Zundel Z, Samineni M, Zhang Z & Myers CJ (2018). A Validator and Converter for the Synthetic Biology Open Language. ACS synthetic biology. Vol. 6, 1161-1168. Published, 02/01/2018.
  • Zhang M, McLaughlin JA, Wipat A & Myers CJ (2018). SBOLDesigner 2: An Intuitive Tool for Structural Genetic Design. ACS synthetic biology. Vol. 6, 1150-1160. Published, 02/01/2018.
  • Kuwahara H, Cui X, Umarov R, Grünberg R, Myers CJ & Gao X (2017). SBOLme: a Repository of SBOL Parts for Metabolic Engineering. ACS synthetic biology. Vol. 6, 732-736. Published, 12/01/2017.
  • Myers CJ, Beal J, Gorochowski TE, Kuwahara H, Madsen C, McLaughlin JA, Mısırlı G, Nguyen T, Oberortner E, Samineni M, Wipat A, Zhang M & Zundel Z (2017). A standard-enabled workflow for synthetic biology. Biochemical Society transactions. Vol. 45, 793-803. Published, 08/01/2017.
  • V. Dubikhin (2017). Model discovery for analog/mixed-signal circuits. 2017 Frontiers in Analog CAD Workshop. Published, 07/01/2017.
  • V. Dubikhin (2017). Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems. 2017 Design Automation Conference. Published, 06/01/2017.
  • 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 and A. Wipat, “Syn- thetic Biology Open Language (SBOL) Version 2.1.0”, Journal of Integrative Bioinformatics, 13(3):291, 2016. Published, 11/28/2016.
  • F. Schreiber, G. Bader, P. Gleeson, M. Golebiewski, M. Hucka, B. Kornmeier, N. Le Novère, 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 Bioinformat- ics, 13(3):289, 2016. Published, 11/28/2016.
  • Watanabe L & Myers CJ (2016). Efficient Analysis of Systems Biology Markup Language Models of Cellular Populations Using Arrays. ACS synthetic biology. Vol. 5, 835-41. Published, 08/01/2016.
  • Nguyen T, Roehner N, Zundel Z & Myers CJ (2016). A Converter from the Systems Biology Markup Language to the Synthetic Biology Open Language. ACS synthetic biology. Vol. 5, 479-86. Published, 06/01/2016.
  • Roehner N, Beal J, Clancy K, Bartley B, Misirli G, Grünberg R, Oberortner E, Pocock M, Bissell M, Madsen C, Nguyen T, Zhang M, Zhang Z, Zundel Z, Densmore D, Gennari JH, Wipat A, Sauro HM & Myers CJ (2016). Sharing Structure and Function in Biological Design with SBOL 2.0. ACS synthetic biology. Vol. 5, 498-506. Published, 06/01/2016.
  • V. Dubikhin, D. Sokolov, C. Myers, and A. Yakovlev, ``Design of Mixed-signal Systems with Asynchronous Control'', to appear in IEEE Design and Test. Published, 02/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. Published, 12/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. Published, 11/2015.
  • F. Schreiber, G. Bader, M. Golebiewski, M. Hucka, B. Kornmeier, N. Le Novere, 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. Published, 11/2015.
  • Rodriguez N, Thomas A, Watanabe L, Vazirabad IY, Kofia V, Gómez HF, Mittag F, Matthes J, Rudolph J, Wrzodek F, Netz E, Diamantikos A, Eichner J, Keller R, Wrzodek C, Fröhlich S, Lewis NE, Myers CJ, Le Novère N, Palsson BØ, Hucka M & Dräger A (2015). JSBML 1.0: providing a smorgasbord of options to encode systems biology models. Bioinformatics (Oxford, England). Vol. 31, 3383-6. Published, 10/01/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. Published, 08/2015.
  • C. Myers, ``Computational Synthetic Biology: Progress and the Road Ahead'', in IEEE Transactions on Multi-scale Computing Systems, 1(1): 19-32, 2015. Published, 08/2015.
  • H. Zheng, Z. Zhang, C. Myers, E. Rodriguez, and Y. Zhang, ``Compositional Model Checking of Concurrent Systems'', to appear in IEEE Transactions on Computers, 64(6), June, 2015. Published, 06/2015.
  • A. Fisher, C. Myers, and P. Li, ``Reachability analysis using extremal rates'', in 7th Nasa Formal Methods Sympositum, April, 2015. Published, 04/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. Published, 01/16/2015.
  • C. Madsen, C. Myers, N. Roehner, C. Winstead, and Z. Zhang, "Efficient Analysis Methods in Synthetic Biology'', in Computational Methods in Synthetic Biology, Methods in Molecular Biology, Volume 1244, pages 217-257, 2015. Published, 01/01/2015.
  • A. Fisher, D. Kulkarni, and C. Myers, "A new assertion property language for analog/mixed-signal circuits'', in Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2013, Lecture Notes in Electrical Engineering, Volume 311, pages 45-65, 2015.. Published, 01/2015.
  • C. Myers, K. Clancy, G. Misirli, E. Oberortner, M. Pocock, J. Quinn, N. Roehner, and H. Sauro, "The Synthetic Biology Open Language'', in Computational Methods in Synthetic Biology, Methods in Molecular Biology, Volume 1244, pages 323-336, 2015.. Published, 01/01/2015.
  • L. Watanabe and C. Myers, ``Hierarchical Stochastic Simulation Algorithm for SBML Models of Genetic Circuits'', in Frontiers in Bioengineering and Biotechnology, 2(55), 2014. Published, 12/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. Published, 12/2014.
  • 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. Published, 12/2014.
  • D. Waltemath, F. Bergmann, C. Chaouiya, T. Czauderna, P. Gleeson, C. Goble, M. Golebiewski, M. Hucka, N. Juty, O. Krebs, N. Le Nov\`{e}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. Published, 09/2014.
  • Z. Zhang, W. Serwe, J. Wu, T. Yoneda, H. Zheng, and C. Myers, ``Formal analysis of a fault-tolerant routing algorithm for a network-on-chip'', in 19th International Workshop on Formal Methods for Industrial Critical Systems, September, 2014. Published, 09/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. Published, 08/15/2014.
  • A. Fisher, S. Batchu, K. Jones, D. Kulkarni, S. Little, D. Walter, and C. Myers, ``LEMA: a tool for the formal verification of digitally-intensive analog/mixed-signal circuits,'' in 2014 Midwest Symposium on Circuits and Systems, August, 2014. Published, 08/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. Grü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. Published, 06/2014.
  • Madsen, Curtis, Zhang, Zhen, Roehner, Nicholas, Winstead, Chris & Myers, Chris (2014). Stochastic Model Checking of Genetic Circuits. Association for Computing Machinery (ACM). Vol. 11(3), 1-21. Published, 06/2014.
  • Batchu, Satish, Fisher, Andrew N., Jones, Kevin, Kulkarni, Dhanashree, Little, Scott, Myers, Chris J. & Walter, David (2014). LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits. . , 1017-1020. Published, 06/2014.
  • F. Butzke, C. Myers, M. Moreira, and N. Calazans, ``QDI logic for signaling data validity in bundled-data design: a kogge-stone case study,'' in 2014 International Symposium on Asynchronous Circuits and Systems, May, 2014. Published, 05/2014.
  • L. Watanabe and C. Myers, "Hierarchical stochastic simulation of genetic circuits,'' in 2014 Symposium on Theory of Modeling and Simulation, April, 2014. Published, 04/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. Published, 02/21/2014.
  • Myers, Chris J. & Roehner, Nicholas (2014). Directed Acyclic Graph-Based Technology Mapping of Genetic Circuit Models. American Chemical Society (ACS). , 140401115348009. Published, 01/2014.
  • Myers, Chris J., Rodriguez, Emmanuel, Zhang, Yingying, Zhang, Zhen & Zheng, Hao (2014). Compositional Model Checking of Concurrent Systems. Institute of Electrical & Electronics Engineers (IEEE). , 1-1. Published, 01/2014.
  • J. Stevens and C. Myers, "Dynamic Modeling of Cellular Populations within iBioSim," in ACS Synthetic Biology, 2(5): 223-229, Nov. 21, 2012. Published, 11/21/2012.
  • Y. Zhang, E. Rodriguez, H. Zheng, and C. Myers, "An improvement in partial order reduction using behavioral analysis," in IEEE Computer Society Annual Symp. on VLSI, August, 2012. Published, 11/2012.
  • H. Zheng, A. Price, and C. Myers, "Using decision diagrams to compactly represent state space for explicit model checking," in 2012 IEEE International High Level Design Validation and Test Workshop, November, 2012. Published, 11/2012.
  • N. Miskov-Zivanov, J. Faeder, C. Myers, and H. Sauro, "Modeling and design automation of biological circuits and systems," in 2012 International Conference on Computer-Aided Design, November, 2012 (invited}. Published, 11/2012.
  • H. Zheng, E. Rodriguez, Y. Zhang, and C. Myers, "A compositional minimization approach for large asynchronous design verification," in 19th International SPIN Workshop on Model Checking of Software, July, 2012. Published, 07/2012.
  • C. Madsen, C. Myers, N. Roehner, C. Winstead, and Z. Zhang, “Utilizing stochastic model checking to analyze genetic circuits,” in 2012 Computational Intelligence in Bioinformatics and Computational Biology, May, 2012 (best student paper). Published, 05/2012.
  • J. Wu, Z. Zhang, and C. Myers, “A fault-tolerant routing algorithm for a network-on-chip using a link fault model,” in 2011 Virtual Worldwide Forum for PhD Researchers in Electronic Design Automation, November, 2011. Published, 11/01/2011.
  • D. Kulkarni, S. Batchu, and C. Myers, “Improved model generation of AMS circuits for formal verification,” in 2011 Virtual Worldwide Forum for PhD Researchers in Electronic Design Automation, November, 2011. Published, 11/01/2011.
  • H. Kuwahara and C. Myers, “Erlang-delayed stochastic chemical kinetic formalism for efficient analysis of biological systems with non-elementary reaction effects,” in 2011 ACM Conference on Bioinformatics, Computational Biology, & Biomedicine, August, 2011. Published, 08/01/2011.
  • N. Barker, C. Myers, and H. Kuwahara, "Learning genetic regulatory network connectivity from time series data," in IEEE Transactions on Computational Biology and Bioinformatics, 8(1): 152-165, Jan-Mar, 2011. Published, 01/2011.
  • H. Yao, H. Zheng, and C. Myers, "State space reductions for scalable verification of asynchronous designs," in 2010 IEEE International High Level Design Validation and Test Workshop, November 2010. Published, 11/2010.
  • C. Myers (editor), Stochastic Control, Sciyo, August, 2010. Published, 08/01/2010.
  • H. Kuwahara, C. Madsen, I. Mura, C. Myers, A. Tejeda, and C. Winstead, "Efficient stochastic simulation to analyze targeted properties of biological systems," in Stochastic Control, Sciyo, pages 505-532, August, 2010. Published, 08/01/2010.
  • C. Winstead, C. Madsen, and C. Myers, "iSSA: an incremental stochastic simulation algorithm for genetic circuits", in 2010 International Conference on Circuits and Systems. Published, 05/31/2010.
  • N. Nguyen, C. Myers, H. Kuwahara, C. Winstead, and J. Keener, "Design and analysis of a robust genetic Muller C-element," in Journal of Theortical Biology, 264(2): 174-187, May, 2010. Published, 05/2010.
  • R. Thacker, K. Jones, C. Myers, and H. Zheng, "Automatic abstraction for verification of cyber-physical systems", in the 1st ACM/IEEE International Conference on Cyber-Physical Systems. Published, 04/14/2010.
  • H. Kuwahara, C. Myers, and M. Samoilov, "Temperature control of fimbriation circuit switch in uropathogenic escherichia coli: quantitative analysis via automated model abstraction," in PLoS Computational Biology, 6(3): e1000723, March, 2010. Published, 03/2010.
  • S. Little, D. Walter, K. Jones, C. Myers, and A. Sen, "Analog/mixed-signal circuit verification using models generated from simulation traces," in The International Journal of Foundations of Computer Science, 21(2): 191-210, 2010. Published, 02/2010.
  • H. Kuwahara and C. J. Myers, "Abstraction methods for analysis of gene regulatory networks," in Computational Methods in Gene Regulatory Networks, IGI Global, pages 352-385, 2010. Published, 01/2010.
  • C. Myers, N. Barker, H. Kuwahara, K. Jones, C. Madsen, and N. Nguyen, "Genetic design automation", in 2009 International Conference on Computer-Aided Design, November, 2009. Published, 11/01/2009.
  • C. Myers, N. Barker, K. Jones, H. Kuwahara, C. Madsen, and N. Nguyen, "iBioSim: a tool for the analysis and design of genetic circuits", in Bioinformatics, 25(21): 2848-2849, November 1, 2009. Published, 11/01/2009.
  • R. Thacker, C. Myers, K. Jones, and S. Little, "A new verification method for embedded systems", in the 27th IEEE International Conference on Computer Design, October, 2009. Published, 10/01/2009.
  • C. J. Myers, Engineering Genetic Circuits, Chapman & Hall/CRC Press, July 2009. Published, 07/01/2009.
  • N. Hamada, Y. Shiga, T. Konishi, H. Saito, T. Yoneda, C. Myers, and T. Nanya, "A behavioral synthesis system for asynchronous circuits with bundled-data implementations", in IPSJ Transactions on System LSI Design Methodology, Vol. 2, 64-79, February, 2009. Published, 02/02/2009.
  • D. Walter, S. Little, C. Myers, N. Seegmiller, and T. Yoneda, “Verification of analog/mixed- signal circuits using symbolic methods,” in IEEE Transactions on CAD, 27(12): 2223-2235, December, 2008. Published, 12/01/2008.
  • H. Kuwahara and C. Myers, “Production-Passage-Time Approximation: A New Approximation Method to Accelerate the Simulation Process of Enzymatic Reactions” in Journal of Computational Biology, 15(7): 779-792, September, 2008. Published, 09/01/2008.
  • H. Saito, N. Hamada, N. Jindapetch, T. Yoneda, C. Myers, and T. Nanya, "Scheduling methods for asynchronous circuits in bundled-data implementation based on the approximations of start times," in IEICE Transactions, E90-A(12): 2790-2799, December, 2007. Published, 12/2007.
  • T. Yoneda and C. Myers, ``Synthesis of timed circuits based on decomposition,'' in IEEE Transactions on CAD, 26(7): 1177-1195, July, 2007. Published, 07/2007.
  • C. Nelson, C. Myers, and T. Yoneda, ``Efficient verification of hazard-freedom in gate-level timed asynchronous circuits,'' in IEEE Transactions on CAD}, 26(3), March 2007. Published, 03/2007.
  • C. Myers, R. Harrison, D. Walter, N. Seegmiller, and S. Little, ``The case for analog circuit verification,'' in Electronic Notes in Theoretical Computer Science, 153(3): 53-63, June 20, 2006. Published, 06/20/2006.
  • H. Kuwahara, C. Myers, N. Barker, M. Samoilov, and A. Arkin, ``Asynchronous abstraction methodology for genetic regulatory networks,'' in Transactions on Computational Systems Biology VI}, LNBI 4220, 2006. Published, 01/2006.

Presentations

  • A Standard-Enabled Workflow for Synthetic Biology, University of Nebraska Lincoln, Lincoln, NE, October 24, 2017. Other, Presented, 10/24/2017.
  • A Synthetic Biology Workflow Using SBOL, Denmark Technical University, Copenhagen, Denmark, October 6, 2017. Other, Other, 10/06/2017.
  • Introduction to libSBOLj, International Workshop on Bio-Design Automation SBOL Workshop, August 11, 2017. Other, Other, 08/11/2017.
  • A Synthetic Biology Workflow Using SBOL, SEED 2017, Vancouver Canada, June 23, 2017. Invited Talk/Keynote, Presented, 06/23/2017.
  • The Systems Biology Markup Language (SBML) and the Synthetic Biology Open Language (SBOL), CellML Workshop, Auckland, New Zealand, June 7, 2016. Invited Talk/Keynote, Presented, 06/07/2017.
  • A Standard Enabled Workflow for Synthetic Biology, Massachusetts Institute of Technology, May 19, 2017. Other, Presented, 05/19/2017.
  • Living Computing Project: Data Management Workflow, NSF Expeditions Review, Boston, MA, May 12, 2017. Other, Presented, 05/12/2017.
  • Genetic Design Automation, BBN Technologies, Boston, MA, April 27, 2017. Other, Presented, 04/27/2017.
  • Computational Synthetic Biology: Progress and the Road Ahead, Microsoft Research, Cambridge, United Kingdom, March 27, 2017. Other, Presented, 03/17/2017.
  • A Standard-Enabled Workflow for Synthetic Biology, Newcastle University, Newcastle, UK, March 7, 2017. Other, Presented, 03/07/2017.
  • Computational Synthetic Biology: Progress and the Road Ahead, University of Oxford, Oxford, UK, March 3, 2017. Other, Presented, 03/03/2017.
  • Genetic Design Automation, University of Bristol, Bristol, UK, February 15, 2017. Other, Presented, 02/15/2017.
  • Genetic Design Automation, Imperial College London, London, UK, February 10, 2017. Other, Presented, 02/10/2017.
  • Synthetic Biology Open Language, Synthetic Biology UK, Edinburgh, UK, November 14, 2016. Invited Talk/Keynote, Presented, 11/14/2016.
  • Genetic Design Automation, University of Oxford, Oxford, UK, November 9, 2016. Other, Presented, 11/09/2016.
  • Genetic Design Automation, Newcastle University, Newcastle UK, October 11, 2016. Other, Presented, 10/11/2016.
  • A Standard Enabled Workflow for Synthetic Biology, 2016 COMBINE Forum, Newcastle, UK, September 19, 2016. Invited Talk/Keynote, Presented, 09/19/2016.
  • The Synthetic Biology Open Language (SBOL) Data Model, SBOL Workshop, Newcastle, UK, August 15, 2016. Invited Talk/Keynote, Presented, 08/15/2016.
  • Synthetic Biology Open Language (SBOL), 2015 International Workshop on Bio-Design Automation, Seattle, WA. Invited Talk/Keynote, Presented, 08/2015.
  • Stochastic Model Checking of Genetic Circuits, Workshop on Verification of Engineered Molecular Devices and Programs, San Francisco. Invited Talk/Keynote, Presented, 07/2015.
  • An Integrated Verification Architecture, Inria, Grenoble, France. Other, Presented, 06/2015.
  • LEMA: A Tool for the Formal Verification of Digitally-Intensive Analog/Mixed-Signal Circuits, Verimag, Grenoble, France . Other, Presented, 06/2015.
  • Whole Cell Model: Lesson Learned, Harmony 2015, Wittenberg, Germany. Invited Talk/Keynote, Presented, 04/2015.
  • libSBOLj 2.0: A Java Library to Support SBOL 2.0, SY-BIO Workshop, Dallas, TX. Conference Paper, Refereed, Presented, 03/2015.
  • Whole Cell Summer School: Integration Group Report, Rostock, Germany. Other, Presented, 03/2015.
  • An Integrated Verification Architecture, presented at RWTH Aachen. Other, Presented, 03/2015.
  • Synthetic Biology Open Language, NormSys/ISBE Workshop Standards for Data and Model Exchange in Systems Biology. Invited Talk/Keynote, Presented, 09/2014.
  • Synthetic Biology Open Language, ICSB Tutorial 2014. Invited Talk/Keynote, Presented, 09/2014.
  • Research Coordination Network for Systems and Synthetic Biology, COMBINE 2014. Invited Talk/Keynote, Presented, 08/2014.
  • Genetic Design Automation Using SBOL, SEED 2014. Invited Talk/Keynote, Presented, 07/2014.
  • Genetic Design Automation, presented at Inria Grenoble France. Invited Talk/Keynote, Presented, 07/2014.
  • Genetic Design Automation, University of California, Davis. Invited Talk/Keynote, Presented, 01/2014.
  • Recent Advances in the Synthetic Biology Open Language, 2013 International Workshop on Bio-Design Automation. Conference Paper, Refereed, Presented, 07/2013.
  • Recent Advances in the Synthetic Biology Open Language, Synthetic Biology 6.0. Invited Talk/Keynote, Presented, 07/2013.
  • Genetic Design Automation, 2013 Design Automation Summer School. Invited Talk/Keynote, Presented, 06/2013.
  • Genetic Design Automation, HARMONY 2013. Invited Talk/Keynote, Presented, 05/2013.
  • Verification of Cyber-Physical Systems, University of South Florida. Invited Talk/Keynote, Presented, 04/2013.
  • Genetic Design Automation, Newcastle University. Invited Talk/Keynote, Presented, 04/2013.
  • Microsoft Research Cambridge, United Kingdom. Other, Presented, 10/2010.
  • Intel Corporation, Portland, OR. Other, Presented, 07/2010.
  • Dagstuhl Seminar, Germany. Other, Presented, 07/2010.
  • Synthetic Biology: A New Application Area for Design Automation Research, Carnegie Mellon University. Invited Talk/Keynote, Presented, 12/10/2009.
  • Genetic Design Automation, ICCAD Tutorial. Invited Talk/Keynote, Presented, 11/04/2009.
  • Synthetic Biology: A New Application Area for Design Automation Research, CANDE WorkshoCANDE Workshop. Invited Talk/Keynote, Presented, 10/30/2009.
  • Simulation Aided Verification of AMS Circuits, Intel Corporation. Invited Talk/Keynote, Presented, 10/14/2009.
  • Genetic Design Automation: Progress and Future Research Directions, RoSBNet Synthetic Biology Workshop. Invited Talk/Keynote, Presented, 09/16/2009.
  • Synthetic Biology: A New Application Area for Design Automation Research, Technical University of Denmark. Invited Talk/Keynote, Presented, 08/22/2009.
  • Synthetic Biology: A New Application Area for Design Automation Research, Utah State University. Invited Talk/Keynote, Presented, 07/12/2009.
  • Engineering Genetic Circuits, Caltech. Invited Talk/Keynote, Presented, 03/01/2009.
  • "Genetic Design Automation: Progress and Future Research Directions", presented at the University of California, Berkeley, October, 17, 2008. Invited Talk/Keynote, Presented, 10/17/2008.
  • "Genetic Design Automation: Progress and Future Research Directions", presented at Technical University of Kaiserlautern, Germany, September 11, 2008. Invited Talk/Keynote, Presented, 09/11/2008.
  • "Fault-Tolerance in Biological Systems", Dagstuhl Seminar on Fault-Tolerant Distributed Algorithms on VLSI Chips, September 9, 2008. Invited Talk/Keynote, Presented, 09/09/2008.
  • S. Little and C. Myers, “Abstract modeling and simulation aided verification of analog/mixed-signal circuits,” in Workshop on Formal Verification of Analog Circuits, April, 2008. Other, Presented, 07/14/2008.
  • "Genetic Design Automation: Progress and Future Research Directions", 2008 International Workshop on Logic Synthesis, June 6, 2008. Invited Talk/Keynote, Presented, 06/06/2008.
  • N. Hamada, Y. Shiga, H. Saito, T. Yoneda, C. Myers, and T. Nanya, “A behavioral synthesis method for asynchronous circuits with bundled-data implementation,” in The 8th International Conference on Application of Concurrency to System Design, June, 2008. Conference Paper, Other, 06/2008.
  • N. Nguyen, N. Barker, H. Kuwahara, C. Madsen, and C. Myers, “Synthesis of genetic circuits from graphical specifications,” in 2008 International Workshop on Logic Synthesis, June, 2008 (Invited). Other, Presented, 06/2008.
  • "Design Principles in Synthetic Biology", IMA Workshop on Design Principles in Biological Systems, April 24, 2008 (Keynote). Invited Talk/Keynote, Presented, 04/24/2008.
  • "iBioSim 1.0: A Tool for the Analysis and Design of Genetic Circuits", The 9th International Conference on Systems Biology", April, 2008 (presented as both 15 minute invited talk and 2 hour tutorial). Invited Talk/Keynote, Presented, 04/2008.
  • S. Little, A. Sen, and C. Myers, ``Application of automated model generation techniques to analog/mixed-signal circuits,'' in 8th International Workshop on Microprocessor Test and Verification, December, 2007. Conference Paper, Other, 12/2007.
  • D. Walter, S. Little, and C. Myers, ``Bounded model checking of analog and mixed-signal circuits using an SMT solver,'' in Automated Technology for Verification and Analysis, October, 2007. Conference Paper, Other, 10/2007.
  • S. Little, D. Walter, K. Jones, and C. Myers, ``Analog/mixed-signal circuit verification using models generated from simulation traces,'' in Automated Technology for Verification and Analysis, October, 2007. Conference Paper, Other, 10/2007.
  • F. Beal, T. Yoneda, and C. Myers, ``Hazard checking of timed asynchronous circuits revisited,'' in 7th International Conference on Applications of Concurrency to System Design, July, 2007. Conference Paper, Other, 07/2007.
  • Engineering Genetic Circuits, Banbury Workshop, Cold Spring Harbor, NY, May 2007. Invited Talk/Keynote, Presented, 05/2007.
  • Engineering Genetic Circuits, University of CA, Berkeley, March 2007. Invited Talk/Keynote, Presented, 03/2007.
  • Formal Verification of Analog and Mixed-Signal Circuits, Cadence Berkeley Labs, Berkeley, CA, March, 2007. Invited Talk/Keynote, Presented, 03/2007.
  • Engineering Genetic Circuits, Cadence Berkeley Labs, Berkeley, CA, March, 2007. Invited Talk/Keynote, Presented, 03/2007.
  • S. Little, N. Seegmiller, D. Walter, C. Myers, and T. Yoneda, ``Verification of analog/mixed-signal circuits using labeled hybrid Petri nets'', in 2006 International Conference on Computer-Aided Design, November, 2006. Conference Paper, Other, 11/2006.
  • T. Yoneda and C. Myers, ``Effective contraction of timed STGs for decomposition based timed circuit synthesis,'' in Automated Technology for Verification and Analysis, pages 229-244, October, 2006. Conference Paper, Other, 10/2006.
  • H. Saito, N. Jindapetch, T. Yoneda, C. Myers, and T. Nanya, ``ILP-based scheduling for asynchronous circuits in bundled-data implementation,'' in 2006 Int. Conf. on Computer and Information Technology, September, 2006. Conference Paper, Other, 09/2006.
  • H. Kuwahara, C. Myers, and M. Samoilov, ``Abstracted stochastic analysis of type 1 pili expression in e. coli,'' in Proceedings of the 2006 International Conference on Bioinformatics & Computational Biology (BIOCOMP '06), pages 125-131, June, 2006. Conference Paper, Other, 06/2006.
  • N. Barker, C. Myers, and H. Kuwahara, ``Learning genetic regulatory network connectivity from time series data,'' in The 19th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE'06), June, 2006. Conference Paper, Other, 06/2006.
  • Engineering Genetic Circuits, presented at EPFL Lausanne, June 2006. Invited Talk/Keynote, Presented, 06/2006.
  • Engineering Genetic Circuits, presented at University of Southern California, May 2006. Invited Talk/Keynote, Presented, 05/2006.
  • H. Kuwahara and C. Myers, ``Production-passage-time approximation: a new approximation method to accelerate the simulation process of enzymatic reactions,'' in The Eleventh Annual International Conference on Research in Computational Molecular Biology, April, 2007. Conference Paper, Other, 04/2006.
  • N. Nguyen, H. Kuwahara, C. Myers, and J. Keener, ``The design of a genetic Muller C-element,'' in The Thirteenth International Symposium on Asynchronous Circuits and Systems, March, 2007 (Best Paper). Conference Paper, Other, 2006.
  • D. Walter, S. Little, N. Seegmiller, C. Myers, and T. Yoneda, ``Symbolic model checking of analog/mixed-signal circuits'', in Asia and South Pacific Design Automation Conference 2007, January, 2007. Conference Paper, Other, 01/2006.

Languages

  • Chinese, functional.
  • Japanese, basic.

Geographical Regions of Interest

  • United Kingdom of Great Britain and Northern Ireland

Grants, Contracts & Research Gifts

  • Collaborative: ABI Development: Synthetic Biology Open Language Resource (1356041). PI: Chris J Myers. National Science Foundation, 2014 - 06/30/2018. Total project budget to date: $444,527.00
  • Student Travel Support for Harmony 2015 (1447689). PI: Chris J Myers. National Science Foundation, 2014 - 06/30/2015. Total project budget to date: $10,000.00

Patents

  • Apparatus and method for parallel processing and self-timed marking of variable length instructions (#5,978,899). Status: Issued. Inventors: S. Rotem, P. Beerel, R. Ginosar, R. Kol, C. Myers, K. Stevens, and K. Yun. File date 11/02/1997; Issue date 11/02/1999. Assignee: Intel Corporation.
  • Apparatus and method for self-timed marking of variable length instructions having length-affecting prefix bytes (#5,948,096). Status: Issued. Inventors: S. Rotem, P. Beerel, R. Ginosar, R. Kol, C. Myers, K. Stevens, and K. Yun. File date 09/07/1997; Issue date 09/07/1999. Assignee: Intel Corporation.
  • Efficient self-timed marking of lengthy variable length instructions (#5,941,982). Status: Issued. Inventors: S. Rotem, P. Beerel, R. Ginosar, R. Kol, C. Myers, K. Stevens, and K. Yun. File date 08/24/1997; Issue date 08/24/1999. Assignee: Intel Corporation.
  • Branch instruction handling in a self-timed marking system (#5,931,944). Status: Issued. Inventors: S. Rotem, P. Beerel, R. Ginosar, R. Kol, C. Myers, K. Stevens, and K. Yun. File date 08/03/1997; Issue date 08/03/1999. Assignee: Intel Corporation.

Software Titles

  • iBioSim 3.0. Software for the modeling, analysis, and design of genetic circuits. Release Date: 12/31/2017. Inventors: N. Barker, S. Glass, K. Jones, H. Kuwahara, C. Madsen, C. Myers, N. Nguyen, T. Nguyen, T. Patterson, N. Roehner, J. Stevens, L. Watanabe, M. Zhang, and Z. Zhang.
  • SynBioHub. A SBOL repository for biological designs. Release Date: 06/14/2017. Inventors: J. McLaughlin, C. Myers, G. Misirli, C. Madsen, Z. Zundel, and A. Wipat. Distribution List: https://github.com/SynBioHub/synbiohub/releases/tag/v1.0.0.
  • SBOLDesigner 2.2. A sequence editor for synthetic biology design. Release Date: 06/13/2017. Inventors: M. Zhang, C. Myers, M. Galdzicki, B. Bartley, S. Sleight, E. Sirin, and J. Gennari. Distribution List: https://github.com/SynBioDex/SBOLDesigner/releases/tag/v2.2.
  • libSBOLj 2.2. A Java-based library to support the Synthetic Biology Open Language . Release Date: 05/09/2017. Inventors: Z. Zhang, T. Nguyen, N. Roehner, G. Misirli, M. Pocock, E. Oberortner, M. Samineni, Z. Zundel, A. Wipat, C. Myers. Distribution List: https://github.com/SynBioDex/libSBOLj/releases/tag/v2.2.1.
  • LEMA. Software for the modeling and verification of analog/mixed-signal circuits and cyber-physical systems. Release Date: 12/30/2016. Inventors: C. Myers, A. Fisher, D. Kulkarni, S. Batchu, R. Thacker, S. Little, D. Walter, K. Jones, and Z. Zhang.
  • SBOL Validator/Converter. Online tool for validation and conversion of SBOL files. Release Date: 12/28/2016. Inventors: Z. Zundel and C. Myers.
  • LEMA. Software for the modeling and verification of analog/mixed-signal circuits and cyber-physical systems. Release Date: 12/2015. Inventors: C. Myers, A. Fisher, D. Kulkarni, S. Batchu, R. Thacker, S. Little, D. Walter, K. Jones, and Z. Zhang.
  • iBioSim. Software for the modeling, analysis, and design of genetic circuits. Release Date: 12/2015.
  • libSBOLj 2.0. A Java-based library to support the Synthetic Biology Open Language (SBOL). Release Date: 10/2015. Inventors: Z. Zhang, T. Nguyen, N. Roehner, G. Misirli, M. Pocock, E. Oberortner, M. Samineni, Z. Zundel, A. Wipat, C. Myers.
  • LEMA. Software for the modeling and verification of analog/mixed-signal circuits and cyber-physical systems. Release Date: 12/31/2014. Inventors: C. Myers, A. Fisher, D. Kulkarni, S. Batchu, R. Thacker, S. Little, D. Walter, K. Jones, and Z. Zhang.
  • iBioSim. Software for the modeling, analysis, and design of genetic circuits. Release Date: 12/31/2014. Inventors: C. Myers, C. Madsen, H. Kuwahara, N. Barker, T. Patterson, J. Stevens, N. Roehner, K. Jones, N. Nguyen, S. Glass, L. Watanabe.
  • LEMA. Software for the modeling and verification of analog/mixed-signal circuits and cyber-physical systems. Release Date: 12/2013. Inventors: C. Myers, A. Fisher, D. Kulkarni, S. Batchu, R. Thacker, S. Little, D. Walter, K. Jones, and Z. Zhang.
  • iBioSIm. Software for the modeling, analysis, and design of genetic circuits. Release Date: 11/2013. Inventors: C. Myers, C. Madsen, H. Kuwahara, N. Barker, T. Patterson, J. Stevens, N. Roehner, K. Jones, N. Nguyen, S. Glass, L. Watanabe.
  • iBioSim. A tool for modeling, analysis, and design of genetic circuits. Release Date: 10/2010.
  • LEMA. A tool for the verification of analog/mixed signal circuits and cyber-physical systems. Release Date: 10/2010.