Software Systems Discipline
Head of Discipline: Professor David Gregg
Acting Head of Discipline (2017/18): Dr Andrew Butterfield
The Software Systems Discipline focuses on sofware performance and correctness. Key areas include compilers and parallization for multicore and low energy computing, algorithm design for parallelism and locality, language semantics, with an emphasis on semantic unification, proof techniques for software correctness, verification and static analysis. Applications include embedded, mobile, medical and space systems
|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.|
Recently we have restructured our disciplines. Please click here to find a listing of all staff and students involved in the new disciplines.