Professional Activities
Editorships
- Journal of Logic and Computation (Corner Editor, 2006 - present)
- Annals of Mathematics and Artificial Intelligence (Editorial Board Member, 2005 - present)
- Journal of Applied Logic (Editorial Board Member, 2003 - present)
Professional Body Memberships
- British Computer Society (Fellow)
- Institution of Engineering and Technology (Fellow)
Other Administrative or Committee Roles
- Director of Centre for Autonomous Systems Technology