Robert Dockins

Contact Info

E-Mail: robdockins AT fastmailDOTfm


In July 2014, I joined the research and engineering team at Galois, where I work on a variety of projects that touch on my interests in programming languages, formal logics and proof methods for reasoning about programs.

Previously, from 2012 to 2014, I was a postdoctoral research associate at Portland State University. In August 2012, I completed my PhD studies at Princeton University by defending my dissertation, entitled Operational Refinement for Compiler Correctness. In 2012, I was inducted into the Siebel Scholars program! Siebel scholarships are awarded annually by the Siebel Foundation for academic excellence and demonstrated leadership to 85 top students from the world's leading graduate schools.

Reasearch Projects

Academic Service



Spring 2011 I was an assistant instructor for COS 333: Advanced Programming Techniques.

Spring 2009 I was the preceptor for sections P01A and P03 of COS 126: General Computer Science.

Fall 2008 I was the assistant instructor (AI) for COS 441: Programming Languages.


I maintain a number of open-source projects, which you can find on this website. These programs and libraries are written in the language Haskell. Haskell is, among other things, strongly typed and purely functional.

In addition to the maintained projects above, I have a number of other unmaintained projects that people may nonetheless find interesting.