John Harrison 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.
An OTP has been sent to your Registered Email Id:
Resend Verification Code