I’m currently employed at Galois, Inc., where I lead projects related to cybersecurity and program analysis.

I have a Ph.D. in Computer Science from UC Davis (dissertation).