Daniel is a Ph.D. candidate at the University of California, Davis. His
research focuses on developing scalable static analysis techniques to find
error-handling defects in systems software. He has designed and implemented
static analysis tools that have found hundreds of bugs in open-source software
projects, including OpenSSL and the Linux kernel.
Daniel is also a co-founder of Practical Program Analysis, LLC. He will be
joining Southern Oregon University as an Assistant Professor in January 2020.