- PhD, Computer Science, University of Utah
- MS, Computer Science, University of Utah
- BS, Computer Science, University of Utah
My research centers on advancing the state of the art in engineering trustworthy systems software. Trustworthiness is a function of multiple qualities including functional correctness, safety, security, timeliness, and availability. Systems software includes not only operating systems but also virtual machine monitors, language runtimes, middleware, compilers, interpreters, debuggers, and other software that provides general services to application developers.