Computer Science Department
Carnegie Mellon University
This page has moved to https://www.wklieber.com/.
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]