Trinity College Dublin

Skip to main content.

Top Level TCD Links

Site map

Software Systems

Alphabetic listings

Update your entry

Staff A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Research Postgrads A B C D E F G H I J K L M N O P Q R S T U V W X Y Z


If dialing from outside college add the prefix 896 to the extension number given, outside Dublin add 01 896 to the extension number. +353 1 896 for international access.

Software Systems

Abrahamson, David, MA BAI PhD CEng
Adjunct Associate Professor in Computer Science
Research Areas: Text and Image Compression, Programming Language Design and Compiler Optimization
Discipline: Software Systems
Location: ORI.F.11
Telephone ext: 1716
e-mail: David.Abrahamson at scss.tcd.ie
College personnel page
Anderson, Andrew, B.A. (Mod)
Research Student, [ Postgraduate Student (Ph.D. by research)]
Supervisor: David Gregg
Research Areas: Automatic vectorization of divergent memory access
Discipline: Software Systems
Location: Lloyd.114
Telephone ext: 1783
e-mail: aanderso at scss.tcd.ie
College personnel page
Anderson, Andrew,
Postdoctoral Researcher
Research Areas: Compilers, Machine Learning, Optimization
Discipline: Software Systems
Centre: LERO - The Irish Software Research Centre
Location: Lloyd.1.14
Telephone ext: 1783
e-mail: andersan at scss.tcd.ie
College personnel page
Atachiants, Roman,
Research Student, [ Postgraduate Student (Ph.D. by research)]
Supervisor: Gavin Doherty
Research Areas: Human-Computer Interaction, Computer Science
Discipline: Software Systems
Research Group: DSG - Distributed Systems Group
Location: WR13.2.2
Telephone ext: 1885
e-mail: atachiar at scss.tcd.ie
College personnel page
Beg, Mirza Muhammad, MS Elect Engg
Postgraduate, PhD by Research, [ Postgraduate Student (Ph.D. by research)]
Supervisor: Andrew Butterfield
Discipline: Software Systems
Location: Lloyd.112
Telephone ext: 3628
e-mail: begm at scss.tcd.ie
College personnel page
Bhandal, Colm, Engineering degree
Postgraduate Student (Ph.D. by research)
Supervisor: Arthur Hughes
Research Areas: Formalising aspects of multiagent systems.
Discipline: Software Systems
Location: Lloyd.112
Telephone ext: 3628
e-mail: bhandalc at scss.tcd.ie
College personnel page
Borda, Aimee,
PhD Student, [ Postgraduate Student (Ph.D. by research)]
Supervisor: Vasileios Koutavas
Research Areas: Verification of Self-Adaptive Security Systems
Discipline: Software Systems
Location: Lloyd.112
e-mail: bordaa at scss.tcd.ie
College personnel page
Butterfield, Andrew, BA, BAI, PhD
Assistant Professor in Computer Science, (Course Director of MPhil in Creative Culture Entrepreneurship. Foundations and Methods Group Head)
Research Areas: Formal Methods; Unifying Theories of Programming ; Concurrency Theory; Language Semantics; Theorem Provers/Logics; Kernel Verification; Probability & Priority
Discipline: Software Systems
Centre: LERO - The Irish Software Research Centre
Location: ORI.G.39
Telephone ext: 2517
e-mail: Andrew.Butterfield at scss.tcd.ie
College personnel page
Dardis, Simon,
Postgraduate Student (Ph.D. by research)
Supervisor: David Abrahamson
Discipline: Software Systems
e-mail: dardiss at scss.tcd.ie
College personnel page
Garland, James Philip, M.Sc., B.Eng.(Hons.)
Research Student, (Lecturer), [ Postgraduate Student (Ph.D. by research)]
Supervisor: David Gregg
Research Areas: Machine Learning, FPGA
Discipline: Software Systems
Centre: LERO - The Irish Software Research Centre
Location: Lloyd.114
Telephone ext: +35318961783
e-mail: jgarland at scss.tcd.ie
College personnel page
Gibbons, Hugh, BA(Mod), MSc, MA, PhD
Assistant Professor in Computer Science, (Course Director of Computer Science and Business. Tutor)
Research Areas: Program Verification and Transformation; Functional and Logic Programming; Program Specification; Program Semantics and Artificial Intelligence
Discipline: Software Systems
Location: ORI.LG.20
Telephone ext: 1781
e-mail: Hugh.Gibbons at scss.tcd.ie
College personnel page
Gomes, Artur Oliveira, MSc in Computer Science
Research Student, (Lecturer in Computer Science - UFMS - Brazil), [ Postgraduate Student (Ph.D. by research)]
Supervisor: Andrew Butterfield
Research Areas: Formal Methods, Verification, Prototyping, Microcontrollers
Discipline: Software Systems
Centre: LERO - The Irish Software Research Centre
Location: Lloyd.112
e-mail: gomesa at scss.tcd.ie
College personnel page
Gregg, David, MSc, Dr. techn., FTCD
Associate Professor, (Head of Disipline of Software Systems, Course Director Structured PhD Programme)
Research Areas: Software performance optimization, embedded computing, low-energy computing, compilers, multicore computing, processor microarchitecture, algorithms
Discipline: Software Systems
Location: Lloyd.027
Telephone ext: 3693
e-mail: David.Gregg at scss.tcd.ie
College personnel page
Hennessy, Matthew, Bsc MA PhD
Research Professor
Research Areas: Foundations of Computation. Specifically semantics of concurrent and distributed computation, especially mobile systems; verification techniques. High-level languages for specifying, programming and verifying concurrent activities.
Discipline: Software Systems
Location: ORI.G.10
Telephone ext: 2634
e-mail: Matthew.Hennessy at scss.tcd.ie
College personnel page
Hughes, Arthur, Ph.D., M.A. (Dubl.), B.A. (Mod.)
Assistant Professor in Computer Science
Research Areas: Mathematical foundations of programming languages, formal specification of software systems, rigorous software development, algorithmic problem solving, encryption, category theory.
Discipline: Software Systems
Location: ORI.G.40
Telephone ext: 2459
e-mail: Arthur.Hughes at scss.tcd.ie
College personnel page
Ionica, Mircea Horea,
Research Student, [ Postgraduate Student (Ph.D. by research)]
Supervisor: David Gregg
Discipline: Software Systems
Location: Lloyd.114
e-mail: ionicam at scss.tcd.ie
College personnel page
Koutavas, Vasileios,
Assistant Professor in Computer Science
Research Areas: Programming Languages, Concurrency, Formal Methods, Software Verification
Discipline: Software Systems
Centre: LERO - The Irish Software Research Centre
Location: ORI.G.37
Telephone ext: 1115
e-mail: Vasileios.Koutavas at scss.tcd.ie
Comments: Other student project areas: Programming Languages and Compilers
College personnel page
Lawler, Finn, BA (Mod)
Postgraduate Student (Ph.D. by research)
Supervisor: Hugh Gibbons
Discipline: Software Systems
Location: Lloyd.112
Telephone ext: 3628
e-mail: flawler at scss.tcd.ie
College personnel page
Marinov, Martin Georgiev, BSc. in Computer Science - Mathematics
Research Student, [ Postgraduate Student (Ph.D. by research)]
Supervisor: David Gregg
Research Areas: Algorithms, Abstract Algebra
Discipline: Software Systems
Location: Lloyd.114
Telephone ext: 1783
e-mail: marinovm at scss.tcd.ie
College personnel page
Muralidharan, Servesh,
Research Student, [ Postgraduate Student (Ph.D. by research)]
Supervisor: David Gregg
Research Areas: High Performance Computing, Multi Core and Many Core Architectures, Parallel Programming Languages
Discipline: Software Systems
Location: Lloyd.114
Telephone ext: 1783
e-mail: muralis at scss.tcd.ie
College personnel page
O'Connor, Maria Francesca,
Research Student, [ Postgraduate Student (Ph.D. by research)]
Supervisor: David Gregg
Discipline: Software Systems
e-mail: oconnomf at scss.tcd.ie
College personnel page
Rogers, Stephen,
Research Student, [ Postgraduate Student (M.Sc. by research)]
Discipline: Software Systems
e-mail: rogersst at scss.tcd.ie
College personnel page
Spaccasassi, Carlo,
Research Student, [ Postgraduate Student (Ph.D. by research)]
Supervisor: Matthew Hennessy
Discipline: Software Systems
Location: Lloyd.112
Telephone ext: 3628
e-mail: spaccasc at scss.tcd.ie
College personnel page
Strong, Glenn,
Assistant Professor in Computer Science
Research Areas: Functional Programming, Programming language design, type theory, formal methods, computational thinking, programming and computer science education
Discipline: Software Systems
Location: ORI.G.15
Telephone ext: 3629
e-mail: Glenn.Strong at scss.tcd.ie
College personnel page
Vasudevan, Aravind,
Research Assistant
Discipline: Software Systems
e-mail: avasudev at scss.tcd.ie
College personnel page
Vasudevan, Aravind,
Research Student, [ Postgraduate Student (Ph.D. by research)]
Supervisor: David Gregg
Discipline: Software Systems
Location: Lloyd.114
Telephone ext: 1783
e-mail: vasudeva at scss.tcd.ie
College personnel page
Xu, Shixiong,
Research Student, [ Postgraduate Student (Ph.D. by research)]
Supervisor: David Gregg
Research Areas: Compilers, Parallel Programming Models.
Discipline: Software Systems
Location: Lloyd.114
e-mail: xush at scss.tcd.ie
College personnel page

Last updated 28 February 2017 by enquiries@scss.tcd.ie.