Skip to main content

Trinity College Dublin, The University of Dublin

Trinity Menu Trinity Search

You are here Research > Research Areas > Software Performance and Correctness

Software Performance and Correctness

Designing algorithms, developing graphics cards, static and dynamic analysis

Software Performance

  • Low-energy computing
  • Compilers and parallelization for multicore
  • Algorithm design for parallelism & locality

Foundations of Computation

  • Programming abstractions for parallel computing
  • Proof techniques for software correctness
  • Verification & static analysis for critical systems

Sample Applications Areas

  • Smart embedded, mobile and space systems
  • Safety-critical medical systems

Faculty Members

Staff Name Research Group & Centres Research Interests Link to Partial List of Publications
Barrett, Stephen
Social Software Engineering, Computational Social Science.
Brady, Michael
Logic Programming; Computer Architecture; Microprocessor Systems
Butterfield, Andrew
Formal Methods; Unifying Theories of Programming ; Concurrency Theory; Language Semantics; Theorem Provers/Logics; Kernel Verification; Probability & Priority
Donnelly, Alexis Process Calculus - applications to Distributed Systems and (more recently) Biological Systems; Web Accessibility; Universal Design
Dukes, Jonathan
Wireless Sensor Networks, Low-Power Wireless Communication, Embedded Systems, High-Throughput Computing, Multimedia Streaming.
Gibbons, Hugh
Program Verification and Transformation; Functional and Logic Programming; Program Specification; Program Semantics and Artificial Intelligence
Gregg, David
Software performance optimization, embedded computing, low-energy computing, compilers, deep neural networks on embedded systems, multicore computing, processor microarchitecture, algorithms
Hughes, Arthur
Mathematical foundations of programming languages, formal specification of software systems, rigorous software development, algorithmic problem solving, encryption, category theory.

Jones, Jeremy

Computer architecture, lockless algorithms, transactional memory, VivioJS - Interactive Reversible E-Learning Animations for the WWW
Koutavas, Vasileios
Programming Languages, Concurrency, Formal Methods, Software Verification.
Strong, Glenn
Functional Programming, Programming language design, type theory, formal methods, computational thinking, programming and computer science education
Waldron, John
Computer Architecture; Learning Technology

Associated Research Centres