PhD Candidate, University of Colorado Boulder
I am a current PhD Candidate in the BioFrontiers Institute Interdisciplinary Quantitative Biology (IQBio) program and Department of Computer Science. I work in the Programming Languages and Verification Lab where I am advised by Dr. Sriram Sankaranarayanan. My research interests are in the intersection of dynamical systems modeling, control of cyber physical systems and safety verification, with specific focus on Artificial Pancreas Systems, and I work closely with the Barbara Davis Center for Childhood Diabetes.
I have held previous research positions in the Technologies for Emerging Markets group at Microsoft Research, the Center for Diabetes Technology at the University of Virgina, and the O'Connor lab at the University of Minnesota Twin Cities.
I hold a MS in Applied Mathematics from the University of Colorado Boulder, and BA from St. Olaf College where I studied math and art, and ran for the Cross Country & Track teams (steeplechase!) under coach Chris Daymont. You can find more academic details in my CV, linked below.