John Harrison (28) (1966–)
Author of Handbook of Practical Logic and Automated Reasoning
For other authors named John Harrison, see the disambiguation page.
About the Author
John Harrison is a Principal Engineer at Intel Corporation in Portland, Oregon. He specializes in formal verification, automated theorem proving, floating-point arithmetic and mathematical algorithms.
Works by John Harrison
Tagged
Common Knowledge
- Other names
- Harrison, J.
Harrison, Jim - Birthdate
- 1966-12-14
- Gender
- male
Members
Reviews
No reviews found.
Statistics
- Works
- 2
- Members
- 28
- Popularity
- #471,396
- ISBNs
- 240
- Languages
- 2