I am a research developer and project lead at Galois, Inc in Portland, OR.

Most of my work focuses on program analysis, improving software reliability (often related to build systems), and natural language processing.