Research groups

The research in the department is conducted primarily in small research groups. Many of them manage their own web spaces on this site, with lots more information about and results from projects:

• Artificial Intelligence Group
  Theory and applications of intelligent systems.
• Computer Architecture Group
  Microarchitecture, VLSI techniques and design, electronic CAD, secure hardware.
• Energy and Environment Group
  Applying computer science to address renewable energy integration, energy demand reduction, and the assessment and management of environmental impact from anthropogenic activities.
• Graphics & Interaction Group (Rainbow)
  Computer graphics, image processing, human-computer interaction, affective computing.
• Learning and Human Intelligence Group
• Natural Language and Information Processing Group
  Computational modelling of natural (human) languages and related applications.
• Programming, Logic, and Semantics Group
  Programming languages, compilers, and analysis; development and application of automated reasoning tools; mathematical models of hardware, software, and networks; finite model theory.
• Quantum Computing Group
  Quantum algorithms, complexity, combinatorics, dynamics, compilation, and architecture.
• Security Group
  Security, cryptology, criminology, and their applications.
• Systems Research Group
  Networks, operating systems, multimedia, mobile and sensor systems, distributed systems.