Robert Dockins

Research & Engineering

I joined Galois’ reasearch and engineering team in 2014. Since then, I have been occupied with applying my background in programming language and verification to various research projects, primarily the Software Analysis Workbench (SAW) and Cryptol.

When I’m not at my desk, I enjoy taking my dogs to the park and studying martial arts. My personal best score on the Twilight Zone pinball table is 2.6 billion.


Robert earned his B.S. in Computer Science from Baylor university in 2003, and completed an M.S. in 2007 at Tufts University. He completed his PhD at Princeton University in 2012, where he specialized in interactive theorem proving, separation logic and the correctness of C compilers. He has been a reasearch and development engineer at Galois since 2014.