John Harrison is a Principal Engineer at the Intel Corporation in Portland, Oregon. He specialises in formal verification, automated theorem proving, floating-point arithmetic and mathematical algorithms.
May 28, 2009
Cover of Low-Cost Living

Low-Cost Living

Apr 10, 2009
Cover of Three Ballads

Three Ballads