Since 2010, I have been a PhD student in the
CUPLV group at the University of Colorado. My research focuses on using static analysis and other formal techniques to ease the daunting process of writing correct programs. Before my PhD days, I earned my undergraduate degree from lovely Williams College in Williamstown, MA, where I studied computer science and philosophy. Though I love living in Boulder now, I was born and raised in Jacksonville, FL.
In my time as a student, I have been lucky enough to work with some
really exceptional folks. Here a Colorado, I am happy to be advised by
Evan Chang. This past summer,
I had the privilege of working under the guidance of
Akash Lal and the other members of the formidable
RSE group at Microsoft Research India in Bangalore. Way back in 2009, I enjoyed studying under
Rakesh Verma at a summer REU at the University of Houston.
