Robert Dockins recently defended his Ph.D. dissertation at Princeton University. He works in the areas of program verification, compiler correctness, and mechanical theorem proving. His research at Princeton was part of a research team working on the Verified Software Toolchain, a project to build tools for reasoning about and compiling software, together with computer-checkable proofs of their correctness. He has coauthored 6 conference or workshop papers and 1 journal publication. He graduated with honors from Baylor University in 2003 and completed an M.S. in Computer Science at Tufts University in 2007. In 2006 and 2007, he was the Digital Resources Archivist at the Tufts University Digital Collections and Archives (DCA).