Dr Agi Kurucz
Reader in Logic and Computation
Research interests
- Computer science
Biography
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.