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

1st term office hours (from 30 September 2025): Tuesdays 13:30-14:30. Please email for an appointment beforehand.

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) 2025/26, 1st term