London Logic Forum (LLF) - Robin Hirsch

Robin Hirsch is a Professor in the Department of Computer Science at University College London. His main research has been in the area between mathematics, logic and computer science. This research has focussed on:

• Relation Algebra. He has co-authored a major text book "Relation Algebras by Games" with Hodkinson.
• Games. Two-player games can be used to characterise various types of representations, of relation algebras and other algebras.
• Constraints. Game-theoretic methods of testing representability of relation algebras have been applied to find tractable approximations for the constraint satisfaction problem.
• Reducts. By varying the chosen set of operators we try to find an optimal algebra. This should have good logical behaviour (e.g. we may require it to be finitely axiomatisable) while remaining as expressive as possible.
• Graph Theory. Elegant graph constructions (in particular Erdõs' random constructions) can be used to define relation algebras with various properties.

Robin Hirsch's list of publications.