Will Klieber
(pronounced “KLEE′ ber”)

Computer Science Department
Carnegie Mellon University

wklieberAT cs . cmu . edu

Office: GHC 7511
Office Phone: 412-268-2582
Voicemail: 775-227-7793

Photo of William Klieber


I'm a sixth-year Ph.D. student in the Computer Science Dept at Carnegie Mellon University.  My advisor is Prof. Edmund Clarke.  My primary research interests include automated software verification and related technologies, such as SAT/QBF solvers.


Recent papers:


Conferences/Workshops:
Teaching:
Miscellaneous:


Links:
Python Tail Recursion

 

15817 ]