Dr Agi Kurucz
Reader in Logic and Computation
Research interests
- Computer science
Biography
Dr Agi Kurucz is a Reader of Logic and Computation in the Department of Informatics, at King's College London.
Research Interests
- Mathematical logic
- Logical systems in computer science and artificial intelligence
More Information
Research
Software Systems
The group studies design, modelling and engineering of software systems.