Brian Huffman

Research & Engineering

I have worked on languages and tools for software verification at
Galois since 2012. Over that time I’ve also developed interests in
cryptography, low-level optimization, secure computation, and hardware
circuit design. At home, I enjoy puzzle and racing video games,
retro-computing, recreational math, reading, and making music with my


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.