I was a Ph.D. student in the Computer Science Dept at Carnegie Mellon University until I graduated in May 2014.  My advisor was Prof. Edmund Clarke.

Thesis: Verification of Software and Hardware using Quantified Boolean Formulas (QBF) [thesis.pdf, abstract.html]