Generic Bio

I am a sixth year Ph.D. candidate at the University of Virginia. My research area is Programming Languages, which makes my advisor Westley R. Weimer. My research interests lie in automated reasoning, static analysis, and testcase generation, in particular when somehow related to the use of formal language models. My résumé is available here (PDF).

I obtained my bachelor's in computer science from Colgate University in May 2006. I graduated magna cum laude with high honors in computer science. I received the M.S. degree from the University of Virginia in May 2008, and I plan to defend my Ph.D. in the spring of 2012.

Research

My Ph.D. committee consists of the following upstanding citizens:

• David Evans (UVA; Chair)
• Michael A. Hill (UVA)
• Sriram K. Rajamani (MSR India)
• Alfred Weaver (UVA)
• Westley R. Weimer (UVA; adviser)

My thesis, Decision Procedures for String Constraints is due this spring; my proposal document (PDF) and the associated presentation slides (PDF) are available online.

Not-So-Recent Coursework

Spring 2010 CS 8561 — Topics in Programming Languages

Spring 2008 CS 851 — Temporal Issues in Computing

Fall 2007 CS 651 — Principles of Cryptography CS 851 — Web Application Security Seminar MATH 551 — Advanced Linear Algebra

Spring 2006 CS 661 — Algorithms CS 656 — Operating Systems

Fall 2006 CS 661 — Theory of Computation CS 615 — Design And Analysis Of Programming Languages CS 654 — Computer Organization