He is also Associate Chair for Graduate Education in the Department of Computer Science. His research focuses on developing programming languages and software engineering approaches to making software easier to write and more reliable, secure, and available.