Benjamin P. Wood
Computer Science
B.A., Williams College; M.S., Ph.D., University of Washington

Benjamin P. Wood

Anchor 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.