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.