Games
Apps
Movies & TV
Books
Kids
google_logo Play
Games
Apps
Movies & TV
Books
Kids
none
search
help_outline
Sign in with Google
play_apps
Library & devices
payment
Payments & subscriptions
reviews
My Play activity
redeem
Offers
Play Pass
settings
Settings
Privacy Policy
•
Terms of Service
Games
Apps
Movies & TV
Books
Kids
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.