For full details of associated Research Groups & Research Centres please see here.

Name	Research Areas	Publications
Barret, Stephen	Social Software Engineering, Computational Social Science.
Botterweck, Goetz	Software and Systems
Butterfield, Andrew	Formal Methods; Unifying Theories of Programming ; Concurrency Theory; Language Semantics; Theorem Provers/Logics; Kernel Verification; Probability & Priority
Donnelly, Alexis	Process Calculus - applications to Distributed Systems and (more recently) Biological Systems; Web Accessibility; Universal Design
Dukes, Jonathan	Wireless Sensor Networks, Low-Power Wireless Communication, Embedded Systems, High-Throughput Computing, Multimedia Streaming.
Gregg, David (Head of Discipline)	Software performance optimization, embedded computing, low-energy computing, compilers, deep neural networks on embedded systems, multicore computing, processor microarchitecture, algorithms
Hennessy, Matthew	Foundations of Computation. Specifically semantics of concurrent and distributed computation, especially mobile systems; verification techniques. High-level languages for specifying, programming and verifying concurrent activities.
Koutavas, Vasileios	Programming Languages, Concurrency, Formal Methods, Software Verification
Papaphilippou, Philippos	Software and Systems
Patane, Andrea	Software and Systems
Strong, Glenn	Functional Programming, Programming language design, type theory, formal methods, computational thinking, programming and computer science education
Ventresque, Anthony	Software and Systems
Waldron, John	Computer Architecture; Learning Technology