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.


Recent papers:


Conferences/Workshops:
Teaching:
Miscellaneous:


Links:
Python Tail Recursion

 

15817 ]