Professional Activities
Editorships
- Journal of Applied Logic (Editorial Board Member, 2004 - present)
- Advances in Modal Logic (AiML) (Program Committee (Co-Chair), 2002)
- Reports on Mathematical Logic (Editorial Board Member, 2000 - present)
Examination Roles
- University of Manchester, PhD (2007)
- Australian National University, PhD (2006)
- Imperial College of Science, PhD (2006)
- Technical University of Dresden, PhD (2005)
- Japan Advanced Institute of Science and Technology, PhD (2004)
- University of Leeds, PhD (2003)
Organisations I have been associated with
- Lecturer at ESSLLI (2008)
- Lecturer (2005)
Professional Body Memberships
- Steering Committee of Description Logic (DL) (Member, 2005 - 2008)
- Steering Committee of Frontiers of Combining Systems (FroCoS) (Member, 2005 - 2009)
- British Computer Society (Fellow, 2005 - present)
- Steering Committee of Advances in Modal Logic (AiML) (Member, 2000 - 2008)
- Deutsche Vereinigung fuer Mathematische Logik und Grundlagen der Mathematik (DVMLG) (Member, 1999 - present)
Other Administrative or Committee Roles
- REF Coordinator