I completed a PhD in computer science at Portland State University in 2011. Since October 2011, I am working as a research assistant at the Chair for Logic and Verification.

Brian Huffman is now working at Galois, Inc..

Publications

Conferences

PhD thesis

Formal proof developments