Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Brian Huffman

Not registered as user yet

Name: Brian Huffman

Bio: Brian Huffman is a recent PhD graduate from the Department of Computer Science at Portland State University, now working as a postdoc at the Technical University of Munich. He has been an avid Haskell programmer since 2001, and has contributed to the development of the Isabelle interactive theorem prover since 2005, with an emphasis on tools for verifying lazy functional programs. Several of Brian’s formalizations can be found online at the Archive of Formal Proofs.

Affiliation: Galois

POPL 2016 Activities

POPL 2016-profile
View general profile