Boyan Yordanov

Boyan Yordanov
POST DOC RESEARCHER
.

I am a post doctoral researcher in the Biological Computation Group as part of the Computational Science Laboratory at Microsoft Research, Cambridge. I work with Andrew Phillips on research in the field of synthetic biology, where our main goal is to address challenges related to the construction and analysis of biological circuits and models. I am also engaged in research on the development and application of automatic reasoning procedures and Satisfiability Modulo Theories (SMT) based analysis methods in the field of biology, focusing on synthetic biology, DNA computing, and organism development. More generally, I am interested in advancing the methods and tools necessary to study and program biological computation.

I completed my PhD in the Biomedical Engineering Department at Boston University working in the HyNeSs Lab with Calin Belta. My research was aimed at developing a theoretical framework and computational tools that enable the analysis and design of synthetic gene networks through formal verification techniques. The approach was based on the automatic construction of piecewise affine (hybrid) system models of synthetic gene networks and the verification of such models against temporal logic specifications using methods inspired by model checking. After completing my PhD I worked as a postdoctoral researcher as part of the Mechanical Engineering Department at Boston University. During this time, I was involved in projects related to the integration of our methods and tools into bio-design automation frameworks.

Publications

    2014

    2013

    2012

    2011

    2010

    2009

    2008

    2007

    2006