Publication
Dartmouth-Hitchcock Medical Center: Spine Care
Publication
Controller Synthesis from LSC Requirements
Project
Programming DNA Circuits
Molecular devices made of nucleic acids show great potential for applications ranging from bio-sensing to intelligent nanomedicine. They allow computation to be performed at the molecular scale, while also interfacing directly with the molecular components…
Project
Genetic Engineering of Living Cells
We introduce a programming language, which allows logical interactions between potentially undetermined proteins and genes to be expressed in a modular manner.