Professional activities

Editorships

5th International Joint Conference on Automated Reasoning (Programme Committee (Member), 2010)
5th International Joint Conference on Automated Reasoning (Programme Committee (Member), 2010)
23rd International Workshop on Description Logics (DL2010) (Programme Committee (Member), 2010)
21st International Joint Conference on Artificial Intelligence (IJCAI-09) (Programme Committee (Member), 2009)
16th International Symposium on Temporal Representation and Reasoning (TIME-2009) (Programme Committee (Member), 2009)
18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods 2009 (Programme Committee (Member), 2009)
Automated Reasoning Workshop (ARW 2009) (Organising Committee, 2009)
Automated Reasoning Workshop (ARW 2009) (Programme Committee (Member), 2009)
7th International Workshop on First-Order Theorem Proving (FTP 2009) (Programme Committee (Member), 2009)
22nd International Conference on Automated Deduction (CADE-22) (Programme Committee (Member), 2009)
18th European Conference on Artificial Intelligence (ECAI 2008) (Programme Committee (Member), 2008)
21st International Workshop on Description Logics (DL2008) (Programme Committee (Member), 2008)
7th International Workshop on the Implementation of Logics (IWIL 2008) (Programme Committee (Member), 2008)
Twenty-Third AAAI Conference on Artificial Intelligence (Programme Committee (Member), 2008)
Special issue of the Annals of Mathematics and Artificial Intelligence on First-Order Theorem Provin (Guest Editor, 2008 - 2009)
6th International Workshop on First-Order Theorem Proving (FTP 2007) (Local Organising Committee, 2007)
6th International Workshop on First-Order Theorem Proving (FTP 2007) (Programme Committee (Member), 2007)
20th Joint Conference on Artificial Intelligence (AI07) (Programme Committee (Member), 2007)
First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-06) (Programme Committee (Member), 2006)
International Workshops on First-Order Theorem Proving (FTP) (Steering Committee (President), 2006 - present)
13th Workshop on Automated Reasoning 2006 (Organising Committee (Member), 2006)
Workshop on Logic for Automated Reasoning and Automated Reasoning for Logic (LARARL '06) (Programme Committee (Member), 2006)
Twenty-First National Conference on Artificial Intelligence (AAAI-06) (Programme Committee (Member), 2006)
International Workshops on First-Order Theorem Proving (FTP) (Steering Committee (Member), 2005 - present)
12th Workshop on Automated Reasoning 2005 (Organising Committee (Member), 2005)
Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005) (Programme Committee (Member), 2005)

Examination Roles

University of the Witwatersrand, Johannesburg, South Africa, MSc (PGT, 2010)
University of Manchester, PhD (2007)
University of Manchester, PhD (2006)

Organisations I have been associated with

University of Liverpool (2001 - present)

Professional Body Memberships

British Computer Society (Member, 2013 - present)

Other Administrative or Committee Roles

Bilgi Link Tutor for Computer Science
Member of the Instanbul Bilgi University Working Group
Member of the University Assessment Appeals Committee