Will Klieber
(pronounced “KLEE′ ber”)

Computer Science Department
Carnegie Mellon University

wklieberAT cs . cmu . edu

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.  My primary research interests include automated software verification and related technologies, such as SAT/QBF solvers.  I now work in the Secure Coding group at CERT/SEI.
I'm also co-founder, along with Shoham Zober, of Feed-Forward.net, an community where artists collaborate and give feedback to each other; we launched in 2010.

Recent papers:


Python Tail Recursion


15817 ]