Ian Horrocks#
| Membership Number: | 3154 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2012 |
| Main Country of Residence: | UNITED KINGDOM |
| Homepage(s): | http://www.cs.ox.ac.uk/people/ian.horrocks |
Present and Previous Positions
- 2007 - date Professor of Computer Science, University of Oxford, UK
- 2003 - 2007 Professor of Computer Science, University of Manchester, UK
- 2002 - 2003 Senior Lecturer and Reader, University of Manchester, UK
- 2001 - 2006 Chief Scientist, Cerebra Inc., Carlsbad, CA, USA
- 1999 - 2002 Lecturer, University of Manchester, UK
- 1998 - 1999 Research Associate, University of Manchester, UK
- 1997 - 1998 Visiting Scientist, IRST, Trento, Italy
- 1983 - 1994 Technical Director, Scientex Ltd, Stevenage, Hertfordshire
- 1981 - 1983 Research Associate, Department of Computer Science, University of Manchester, UK
Fields of Scholarship
- Knowledge representation
- Description logics
- Automated reasoning
- Computational logic
- Semantic web
- Ontology languages
- Ontology engineering
Honours and Awards
- 2011 Fellow of the Royal Society
- 2009 Fellow of the European Coordinating Committee on Artificial Intelligence (ECCAI)
- 2005 Fellow of the British Computer Society
- 2005 EPSRC Senior Research Fellowship
- 2005 British Computer Society Roger Needham Award
