B.A., Williams College; M.S., Ph.D., University of Washington
Benjamin P. WoodAnchor Point Assistant 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.