Manu Sridharan and Philip Brisk from CSE and Prof. William H. Grover from Bioengineering awarded an interdisciplinary grant from the NSF Formal Methods in the Field on programmable microfluidic chips.