CPP 2016
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

Contributions

CPP 2016Committee Member in Program Committee within the CPP-track
Show activities from other conferences

POPL 2016-profile
View general profile