Intel Corporation, JF1-13
2111 NE 25th Avenue
Hillsboro, OR 97124
USA
work: +1 503 712-8451
fax: +1 503 264-1790
| email: |
|
|
John Harrison
Intel Corporation, JF1-13 2111 NE 25th Avenue Hillsboro, OR 97124 USA work: +1 503 712-8451 fax: +1 503 264-1790
|
I do formal verification at Intel Corporation. Before that 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 2nd July 2007.