Professional Activities

Academic and Research Related

Programme Committee Membership (since 2008)

I am currently a regular member on the following PCs

  • SGAI (SGAI Int. Conf. on Innovative Techniques and Applications in AI)
  • SBIA (Brazilian Symposium on AI)
  • ICMLA (Int. Conf. on Machine Learning and Applications)
  • TICTTL (Int. Conf. on Tools for Teaching Logic)
  • IFIP AI (Artificial Intelligence in Theory and Practice)
  • KSEM (Int. Conf. on Knowledge Science, Engineering and Management)
  • ICTAI (IEEE Int. COnf. on Tools with Artificial Intelligence

and regular reviewer for

  • IJCAI (Int. Joint Conf. on Artificial Intelligence)
  • KR (Int. Conf. on Principles of Knowledge Representation and Reasoning)
  • EPSRC proposals

I am a co-investigator, together with several other members of the Logic and AI group, on a joint collaboration between Imperial and NII (National Institute of Informatics) Tokyo, led by Professor Ken Satoh at NII.

Teaching and Outreach Activities

External Teaching Activities

  • Member of BCS Academic Accreditation Panel (from 2007)
  • Member of EuroInf Accrediation Panel for EQANIE (European Quality Assurance Network for Informatics Education)
  • Fellow of the Higher Education Academy

Other Teaching Activities

  • PhD Admissions Tutor (2008-12)
  • Director Postgraduate Studies(2009-12)
  • Grant holder for EPSRC Collaborative Training Account of one million pounds for MSc in Advanced Computing (2002-2009)

I am also the Director of the PhD Teaching Scholarship Programme in the Department, which sponsors up to 4 students a year on an extended PhD programme that includes study and practice for the College Certificate of Teaching and Learning. We currently have 11 students registered.