Agi KuruczSenior LecturerDepartment of Computer Science King's College London Strand London WC2R 2LS Room K4L.20 (formerly 3DA) Tel: +44-20-7848 2900 Fax: +44-20-7848 2851 Email: agi.kurucz AT kcl.ac.uk 1st term office hours: Mondays 14:00-16:00. |
Axiomatisation, expressiveness and decision problems
Modal and temporal logics
Algebraic and first-order logic
Universal algebra and model theory
Metamathematics of arithmetic, foundations of mathematics
Foundations of Computing I (4CCS1FC1) 2009/10, 1st term
Logical Modelling (7CCS3LOM) 2009/10, 2nd term