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 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 network from characterization data of their parts 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.