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:


Conferences/Workshops:
Teaching:
Miscellaneous:


Links:
Python Tail Recursion

 

15817 ]