Software Engineering Institute

Will Klieber is a software security researcher in the SEI's CERT Division focusing on the area of automated code repair. He has led a small team to design and implement a static analysis and program transformation to automatically repair certain classes of integer overflow that lead to buffer overflow. Klieber currently leads an effort to develop automated techniques for repairing C programs to enable a proof of memory safety. Prior to joining CERT, Klieber was a doctoral student at the Carnegie Mellon School of Computer Science where he focused on the area of formal verification, specifically on Quantified Boolean Formulas (QBF) and their application to verification of hardware and software.