Skip to main content

Trinity College Dublin, The University of Dublin

Menu Search

You are here Research > Disciplines

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

Faculty members

Member Research Interests Publications
Hennessy, MatthewFoundations 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.