B.A., Williams College; M.S., Ph.D., University of Washington
Benjamin P. WoodAssistant Professor in Computer Science
My research develops tools for analyzing software to check critical safety properties and find or prevent bugs.
In general, I am fascinated by the expression and implementation of computation. I work across the implementation stack to develop program analysis support in programming languages, compilers, runtime systems, and computer architectures. I enjoy teaching courses spanning these same layers of computation. Outside of computer science, I enjoy self-powered travel through wild places.