Skip to main content
Agi Kurucz

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 thumb
    Software Systems

    The group studies design, modelling and engineering of software systems.

      Research

      software systems thumb
      Software Systems

      The group studies design, modelling and engineering of software systems.