Ian Horrocks
British academic (b.1958) / From Wikipedia, the free encyclopedia
For the British Royal Air Force helicopter pilot, see Ian Horrocks (RAF officer).
Ian Robert Horrocks FRS[6] is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford.[7] His research[5][8][9] focuses on knowledge representation and reasoning, particularly ontology languages,[10] description logic and optimised tableaux decision procedures.[11][12][13]
Quick Facts Ian Horrocks FRS, Born ...
Ian Horrocks | |
---|---|
Born | Ian Robert Horrocks (1958-03-11) 11 March 1958 (age 66)[1] |
Nationality | British |
Alma mater | University of Manchester (BSc, MSc, PhD) |
Known for | |
Awards | BCS Lovelace Medal (2020).[3] Roger Needham Award (2005)[4] |
Scientific career | |
Fields | |
Institutions | |
Thesis | Optimising tableaux decision procedures for description logics (1997) |
Website | www |
Close