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.
Oct 20, 2011
Cover of Hip Pocket Sleaze

Hip Pocket Sleaze