Will Klieber
Computer Science Department
Carnegie Mellon University

wklieberAT cs . cmu . edu

Publications | GhostQ
Photo of William Klieber


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]

This page has moved to https://www.wklieber.com/.