Algorithms & Data Analysis: The research scope of the Algorithms and Data Analysis (ADA) group ranges from theoretical computational-complexity issues.

Cybersecurity: The Cybersecurity (CYS) group studies the design, modeling, analysis, verification, and testing of networks and systems in order to tackle cybersecurity and privacy problems that are important to industry, society, and everyone living in a technologically dependent world.

Distributed Artificial Intelligence: The Distributed Artificial Intelligence group explores the use of AI in social and economic contexts where an intelligent entity may be interacting with other entities. 

Human Centered Computing: The Human Centred Computing (HCC) group is concerned with the design, development, and evaluation of systems with which humans interact and engage in complex and varied ways, with interest in visualization, natural language processing, and human-computer interaction. 

Reasoning and Planning: The Reasoning and Planning (RAP) group focuses on the fundamental Artificial Intelligence challenge of creating, representing, and reasoning with expressive models of the world, with particular strengths in dealing with complex systems and in reasoning with information that is uncertain, incomplete or subjective.

Software Systems: The Software Systems (SSY) group studies the design, modeling, and engineering of software systems, reasoning about systems, and algorithms and tools for verification of software.