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
|
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
(Head of Discipline)
|
Software and Systems |
 |
Waldron, John |
Computer Architecture; Learning Technology |

|