Research groups relevant to CISA
Agents & Multiagent Systems
Link out to the Agents & Multiagent Systems website.
Artificial Intelligence Applications Institute.
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.
We are a community of informaticists with interests in theorem proving, program synthesis and artificial intelligence