Dr. Huffman earned his Ph.D. in Computer Science from Portland State
University in 2011, where he studied formal methods and the semantics
of functional programming languages. During this time he became an
active developer of the Isabelle interactive theorem prover, which led
to a postdoc at the Technical University of Munich from 2011 to 2012.
Prior to that, he earned his bachelor’s degree in Mathematics and
Physics from Willamette University.