Material useful for my teaching activities can be found on my Teaching Resources Page . During that period it reached an international membership of over 7000. I co-edit the and maintain the web pages for the Web Forum of the Automated Reasoning Research Area . I have held four appointments as External Examiner for taught degree programmes in artificial intelligence and computer science. I am the Department's North American Exchange Advisor.
Some useful information is located here .
I run the Departmental Seminar Series. I am a member of the Departmental Graduate Studies Committee. I am responsible for publicising the Department's graduate courses. A collection of flyers describing the research activities of the Department. The Department's entry in the University of York Graduate Prospectus.