- Address
- Department of Computer Science
University College London
Gower Street
London WC1E 6BT - Room
- 8.10 Malet Place Engineering Building
- Tel
- +44 20 7679 1379 (direct line)
- Departmental Fax
- +44 20 7387 1397
- R . Hirsch at cs . ucl . ac . uk
Research
- Workshop on Lattices and Binary Relations, London, September 2010.
- Workshop on Lattices and Binary Relations, Amsterdam, September 2012.
- London Logic Forum
- Ph. D. Ideas
- British Logic Colloquium 2007
- Publications
Teaching
- Taught Courses
- No internships available, sorry.
General
- I am the UCU representative for the Computer Science Department.
- Jenin-Tower Hamlets friendship soc.
- Contact me at home
- Colleagues
Research Interests
- Temporal and Modal Logic
- Algebraic Logic
- Game Theory
- Planning
- Complexity
- I belong to the Knowledge Representation and Reasoning Research Group
- I am a founder member of the London Logic Forum.
- I am a member of the London Mathematical Society.
+44 (0)20 7679 7214
