Skip to main content

Trinity College Dublin, The University of Dublin

Menu Search



Software Systems Discipline

Head of Discipline: Professor David Gregg

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, proof techniques for software correctness, verification and static analysis. Applications include embedded, mobile, medical and space systems

Faculty members

Member Research Interests Publications
Butterfield, AndrewFormal Methods; Unifying Theories of Programming ; Concurrency Theory; Language Semantics; Theorem Provers/Logics; Kernel Verification; Probability & Priority
Gibbons, HughProgram Verification and Transformation; Functional and Logic Programming; Program Specification; Program Semantics and Artificial Intelligence
Gregg, DavidSoftware performance optimization, embedded computing, low-energy computing, compilers, deep neural networks on embedded systems, multicore computing, processor microarchitecture, algorithms
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.
Hughes, ArthurMathematical foundations of programming languages, formal specification of software systems, rigorous software development, algorithmic problem solving, encryption, category theory.
Koutavas, VasileiosProgramming Languages, Concurrency, Formal Methods, Software Verification
Strong, GlennFunctional Programming, Programming language design, type theory, formal methods, computational thinking, programming and computer science education

A full list of all members of the discipline can be found here.