Staff Profile

Will Klieber

Will Klieber

Key Responsibilities

Development and application of tools and techniques for verification of security properties of software systems.

Professional Background

Prior to joining CERT/SEI, I was a full-time doctoral student at Carnegie Mellon University Computer Science Department, where I worked in the area of Quantified Boolean Formulas (QBF) and its application to verification of hardware and software.  I gave my Ph.D. defense in August 2013 and officially earned my Ph.D. degree on May 18, 2014.

Publications (recent or significant)

Please see my CMU webpage or my Google Scholar page for a list of publications.


Cyber Security Foundations, Secure Software and Systems