I am a PhD student in the School of Computing at the University of Utah. I started as a PhD student in Fall of 2015. I am interested in the Robotics track. My advisor is Ganesh Gopalakrishnan with the Formal Methods Research group, but I'm also working with Tucker Hermans.