PhD MPhil MScR Informatics in Automated Reasoning Agents Data Intensive Research Knowledge Management

At the Centre for Intelligent Systems and their Applications (CISA) we enable computer systems to reproduce or complement human abilities, work with people, and support collaboration between humans. We conduct world-leading research in the foundations of Artificial Intelligence (knowledge representation and reasoning, emergence of meaning, theory and ontology change, creativity, mathematical proof) and in intelligent collaborative systems (multiagent systems, social computation, scientific collaboration platforms, web semantics and linked data).