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
Recently we have restructured our disciplines. Please click here to find a listing of all staff and students involved in the new disciplines.