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.
Sep 13, 2011
Cover of Brand Aid

Brand Aid

Jun 6, 2011
Cover of Into the Amazon

Into the Amazon

Jun 24, 2010
Cover of Cloud Road

Cloud Road