Agi Kurucz


Department of Informatics
King's College London
Strand
London WC2R 2LS

Room S1.17

Tel: +44-20-7848 2900
Fax: +44-20-7848 2851
Email: agi.kurucz AT kcl.ac.uk

1st term office hours (from 23 September):   Tuesdays 14:00-15:00, Fridays 14:00-15:00


Research interests

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

Recent technical reports and publications

Colleagues


Teaching

Foundations of Computing I (4CCS1FC1) 2014/15, 1st term
Computer Science Logic (5CCS2CSL) 2014/15, 1st term


Up