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.