Thursday, September 27, 2007
I am Head of the School of Informatics, and Professor of Computer Systems, at The University of Edinburgh.
My research interests are centred around applications of logics in Computer Science, Artificial Intelligence, and Cognitive Science.
- GNER live arrivals problem
- Russell's Sign
- Murdo MacLeod on Wikiscanner
- Craig Murray Documents
- Window films to prevent heat losses in cold climat...
- Open Source