Name Research Areas
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