Skip to main content

Trinity College Dublin, The University of Dublin

Menu Search

You are here 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 software 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

Recently we have restructured our disciplines. Please click here to find a listing of all staff and students involved in the new disciplines.