Research Sections and Groups
Distributed Software Engineering
Academics: Costa, Dulay, Kramer, Leung (joint with EE), Lupu, McBrien, McCann, Pietzuch, Russo, Sloman, Uchitel, Wolf
- Adaptive and Embedded Systems Engineering (McCann)
- Distributed Software Engineering (Kramer & Magee)
- Experimental Software Systems (Wolf)
- Large-Scale Distributed Systems (Pietzuch)
- Machine Learning
- Policy-Based Autonomous Systems (Lupu)
- Security
Logic and Artificial Intelligence
Academics: Broda, Edalat, Faisal (joint with Bioengineering), Hodkinson, Lomuscio, Muggleton, Pattinson, Przulj, Sadri, Sergot, Shanahan, Toni.
- Biological Networks (Przulj)
- Computational Biology (Muggleton)
- Computational Logic and Argumentation (Toni)
- Continuous Data-Types and Exact Computation (Edalat)
- Machine Learning (Faisal)
- Neurodynamics (Shanahan)
- Security
- Verification of Autonomous Systems (Lomuscio)
Programming Languages and Systems
Academics: van Bakel, Cadar, Calcagno, Darlington, Donaldson, Drossopoulou, Eisenbach, Gardner, Hankin, Luk, Kelly, Maffeis, Mencer, Phillips, Yoshida.
- Computer Architecture (Mencer)
- Custom Computing (Luk)
- Local Resource Reasoning (Gardner)
- Multicore Programming (Donaldson)
- Reliable Web (Gardner)
- Security
- Sound Programming Languages (Drossopoulou)
- Software Performance Engineering (Kelly)
- Software Reliability (Cadar)
- Social Computing (Darlington)
Quantitative Analysis and Decision Science
Academics: Bradley, Casale, Field, Guo, Harrison, Huth, Knottenbelt, Kuhn, Parpas, Rustem, Wiklicky.
- Analysis, Engineering, Simulation & Optimization of Performance (Harrison)
- The Discovery Sciences Group (Guo)
- Optimization (Rustem)
- Security (Huth)
Visual Information Processing
Academics: Davison, Edwards (joint with Medicine), Ghosh, Gillies, Lee, Pantic, Rueckert, Schuller Yang, Zafeiriou.
- Biomedical Image Analysis (Rueckert)
- Intelligent Behaviour Understanding (Pantic)
- Machine Learning
- Medical Image Computing (Yang)
- Robot Vision (Davison)