Research groups

Research groups relevant to CISA

Agents & Multiagent Systems

Link out to the Agents & Multiagent Systems website.

AIAI

The Artificial Intelligence Applications Institute.

Data-Intensive Research

Data-intensive refers to huge volumes of data, complex patterns of data integration and analysis and intricate interactions between combinations of users and systems that deal with these data.

Mathematical Reasoning

We are a community of informaticists with interests in theorem proving, program synthesis and artificial intelligence

Planning & Activity Management

Link to the Planning & Activity Management website.