STL Metrics Mar 30, 2018 Formal Methods Group Lead - Data Architecture My research interests include synthetic biology, genetic engineering, lab automation, and data standardization.