KB Professional
Professional Activities
- Member of BCS Accreditation Panel (from 2007)
- External Examiner for M361, Open University (2003 - 2007)
- Imperial College award for excellence in teaching (2004)
- Programme Committee Membership
- Adaptive 09 (1st Int. Conf. Adaptive and Self-adaptive Systems and Applications)
- SBIA 2009, 2010 (Brazilian Symposium on AI)
- SGAI 2006/07/08/09/10 (SGAI Int. Conf. on Innovative Techniques and Applications in AI)
- ICMLA 2006/07/08/09/10 (Int. Conf. on Machine Learning and Applications)
- IFIP AI 2006/08/10 (Artificial Intelligence in Theory and Practice)
- FTP 2000 (Int. Workshop on First Order Theorem Proving)
- TABLEAUX 1994-96/98/99 (Int. Conf. on Theorem Proving with Analytic Tableaux and Related Methods)
- Local Organiser for TABLEAUX-94
- Programme Chair for 4th Association of Logic Programming UK Conf. (1994)
- Presented course "Foundations of Logic Programming", part of Advanced Diploma in Logic and AI, Brno, Czech Republic (1993)