System Support for Generally Programmable Digital Microfluidic Biochip Devices

This project has introduced a programming language, compiler, and runtime environment that enables software to control a “cyber-physical” microfluidic device in which integrated sensors and video monitoring equipment form a closed feedback loop (a). The technical contributions of the project include the design and implementation of the language, and a detailed description of the algorithms built into the compiler to enable fast decision-making in real-time in response to sensory feedback (b).