Agi Kurucz


Department of Informatics
King's College London
Strand Campus
Bush House (N) 7.01
30 Aldwych
London, WC2B 4BG

Email: agi.kurucz AT kcl.ac.uk

2nd term office hours:  Wednesdays 14:00-15:00.  Please email for an appointment.


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) 2023/24, 1st term


Up