Institutional Research Information Service
UCL Logo
Please report any queries concerning the funding data grouped in the sections named "Externally Awarded" or "Internally Disbursed" (shown on the profile page) to your Research Finance Administrator. Your can find your Research Finance Administrator at https://www.ucl.ac.uk/finance/research/rs-contacts.php by entering your department
Please report any queries concerning the student data shown on the profile page to:

Email: portico-services@ucl.ac.uk

Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
 More search options
Prof Robin Hirsch
  • Professor of Mathematical Foundations of Computing
  • Dept of Computer Science
  • Faculty of Engineering Science
Research Groups
Research Themes
Research Summary

My research has focused on the theory of binary relations.  The principal algebraic formalism for binary relations is relation algebra, I have written the key textbook on this topic.  Binary relations are much harder to deal with than unary relations, my approach (jointly with Ian Hodkinson) is based on a simple two player game to test consistency of assertions about binary relations.  Using these games I have established various complexity results, including the undecidability of the representation problem for finite relation algebras.  I have extensive research in other algebras of relations, e.g. cylindric, polyadic, domain, kleene algebras, etc. 

I have published research in a wide range of fields including graph theory, relativity theory, argumentation, constraint satisfaction and planning.

I am director of the London Logic Forum which brings together eminent logicians from various academic institutions in London.

Teaching Summary

I have overall responsibility for masters degrees in the computer science department.  I am director of the Mathematical Computation degree.  I am introducing some new dual degrees involving UCL and the ICT department at Mahidol University, Bangkok.

Academic Background
1994 PhD Doctor of Philosophy – Algebraic Logic Imperial College of Science, Technology and Medicine
1988 MSc Master of Science – Computer Science University College London
1981 PGCE Postgraduate Certificate in Education – Academic studies in Education Institute of Education
1980 MSc Master of Science – Pure Mathematics Queen Mary College, University of London
1979 BA Bachelor of Arts – Mathematics University of Cambridge
1979 MA Master of Arts – Mathematics University of Cambridge
Please report any queries concerning the data shown on this page to https://www.ucl.ac.uk/hr/helpdesk/helpdesk_web_form.php
University College London - Gower Street - London - WC1E 6BT Tel:+44 (0)20 7679 2000

© UCL 1999–2011

Search by