Laboratory for Foundations of Computer Science
- School of Informatics. A community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic and complexity.
- http://www.lfcs.inf.ed.ac.uk/

Centre for Intelligent Systems and their Applications
- School of Informatics. Theories of knowledge representation and inference; systems for modelling, automating and supporting this activity.
- http://www.cisa.informatics.ed.ac.uk/

Institute for Computing Systems Architecture
- School of Informatics. Novel system architectures for the smart networked appliances of the future.
- http://www.icsa.informatics.ed.ac.uk/

Institute of Perception, Action and Behaviour
- School of Informatics. Linking computational action, perception, representation, transformation and generation processes to real or virtual worlds: computer vision, mobile and assembly robotics, music perception and visualisation.
- http://www.ipab.informatics.ed.ac.uk/

Artificial Intelligence Applications Institute
- School of Informatics. Applied research addressing planning and activity management, knowledge-based systems and knowledge management, and adaptive systems.
- http://www.aiai.ed.ac.uk/

Institute for Adaptive and Neural Computation
- School of Informatics. Theoretical and empirical study of brain processes and artificial learning systems, drawing on neuroscience, cognitive science, computer science, computational science, mathematics and statistics.
- http://www.anc.ed.ac.uk/

Institute for Communicating and Collaborative Systems
- School of Informatics. Basic and applied study of communication among humans and between humans and machines using text, speech, and graphics for interactive dialogue.
- http://www.iccs.informatics.ed.ac.uk/