Fraser is an identity management engineer at Red Hat where he works on FreeIPA and Dogtag Certificate System. He is interested in security and cryptography and cares about making it easier for humans to use technology securely. By night Fraser writes programs in Haskell, proves theorems in Coq and is exploring dependent types, category theory and other exciting intersections of mathematics and computer science.