Publications

Molecular biologists rely on the use of fluorescent probes to take measurements of their model systems. These fluorophores fall into …

The dynamic behavior of synthetic gene circuits plays a key role in ensuring their correct function. However, our ability to accurately …

Synthetic genetic regulatory networks (or genetic circuits) can operate in complex biochemical environments to process and manipulate …

Signal Temporal Logic (STL) is a formal language for describing a broad range of real-valued, temporal properties in cyber-physical …

Computational models are essential to engineer predictable biological systems and to scale up this process for complex systems. …

This paper introduces a new algorithm to infer temporal logic properties of a system from data consisting of a set of finite time …

Computation can be performed in living cells by DNA-encoded circuits that process sensory information and control biological functions. …

Digital electronic circuits have inspired synthetic biologists to program living cells with synthetic decision-making circuits by …

Modern day hospital management systems rely heavily on electronic data processing to maintain patient records. These electronic medical …