Agi Kurucz

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

Room (N)7.01

Email: agi.kurucz AT

3rd term online office hours:  please email for an appointment-link

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



Foundations of Computing I (4CCS1FC1) 2020/21, 1st term