Skip to main content
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