John Harrison
Intel Corporation, RA2406 2501 NW 229th Avenue Hillsboro, OR 97124 USA work: +1 503 7128451 fax: +1 503 2641790

My book code now has an F# version Thanks to Eric Taucher, Jack Pappas and AnhDung Phan. 
I do formal verification at Intel Corporation. I specialize in verification of floatingpoint algorithms and other mathematical software, but I'm interested in all aspects of theorem proving and verification. I'm also interested in floatingpoint arithmetic itself, and contributed to the revision process that led to the new IEEE 754 floatingpoint standard. Before joining Intel in 1998, I was a member of the Automated Reasoning Group at the Computer Laboratory of the University of Cambridge. I worked as a Research Associate and PhD student there, supervised by Mike Gordon, and after a spending a year in the Department of Computer Science of Åbo Akademi University in Finland, returned to Cambridge as a Research Associate working on Floating Point Verification.
Page last updated Monday 19th October 2015.