Ian Haken is a security researcher at Coverity where he develops tools and methods for defensive application security, software analysis, and detection of security defects. Prior to working at Coverity, he received his Ph.D. in mathematics from the University of California, Berkeley with a focus in computability theory and algorithmic information theory.
