Research
My research advisor is Dr. Rance Cleaveland.
I am currently (Spring 2010) a Research Assistant for Dr. Rance Cleaveland, currently working on Model Checking for Timed Automata.
In addition, I am interested in various areas of Theoretical Computer Science.
I worked on research with Dr. Samir Khuller, during an Independent Study (CMSC 798) in Spring 2008 studing various aspects of Graph Augmentation.