AUTHOR=Rosenblueth David A. TITLE=Editorial: Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology JOURNAL=Frontiers in Bioengineering and Biotechnology VOLUME=4 YEAR=2016 URL=https://www.frontiersin.org/journals/bioengineering-and-biotechnology/articles/10.3389/fbioe.2016.00068 DOI=10.3389/fbioe.2016.00068 ISSN=2296-4185