Skip to main content

Trinity College Dublin, The University of Dublin

Menu Search



You are here People > Disciplines

Software Systems

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.

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
WR13.2.4
Telephone Ext.
1716
E-mail
David.Abrahamson at scss.tcd.ie
College Profile
people.tcd.ie/Profile?Username=dbrhmson
Personal Web Pages
www.scss.tcd.ie/David.Abrahamson

Anderson, Andrew, BA (Mod) (TCD), Ph.D (TCD)

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
Comments
https://www.scss.tcd.ie/~andersan/
College Profile
people.tcd.ie/Profile?Username=andersan
Personal Web Pages
www.scss.tcd.ie/~andersan

Barabasz, Barbara Maria

Research Student [Postgraduate Student (Ph.D. by research)]
Supervisor
Edmond Stephen Barrett
Discipline
Software Systems
E-mail
barabasb at scss.tcd.ie
Personal Web Pages
www.scss.tcd.ie/~barabasb

Barrett, Stephen, BA, BAI

Assistant Professor in Computer Science
Research Areas
Social Software Engineering, Computational Social Science.
Discipline
Software Systems
Location
ORI.G.40
Telephone Ext.
2730
E-mail
Stephen.Barrett at scss.tcd.ie
Comments
Social Software Engineering, Computational Social Science
College Profile
people.tcd.ie/Profile?Username=ebarrett
Personal Web Pages
www.scss.tcd.ie/Stephen.Barrett

Borda, Aimee

PhD Student [Postgraduate Student (Ph.D. by research)]
Research Areas
Verification of Self-Adaptive Security Systems
Supervisor
Vasileios Koutavas
Discipline
Software Systems
Location
Lloyd.112
E-mail
bordaa at scss.tcd.ie
Personal Web Pages
www.scss.tcd.ie/~bordaa

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
Comments
Safety Critical Software (medical, avionics); Functional Programming
College Profile
people.tcd.ie/Profile?Username=butrfeld
Personal Web Pages
www.scss.tcd.ie/Andrew.Butterfield

Garland, James Philip, M.Sc., B.Eng.(Hons.)

Research Student, (Lecturer) [Postgraduate Student (Ph.D. by research)]
Research Areas
Machine Learning, FPGA
Supervisor
David Gregg
Discipline
Software Systems
Centre
LERO - The Irish Software Research Centre
Location
Lloyd.114
Telephone Ext.
+35318961783
E-mail
jgarland at scss.tcd.ie
Personal Web Pages
www.scss.tcd.ie/~jgarland

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 Profile
people.tcd.ie/Profile?Username=hgibbons
Personal Web Pages
www.scss.tcd.ie/Hugh.Gibbons

Gomes, Artur Oliveira, MSc in Computer Science

Research Student, (Lecturer in Computer Science - UFMS - Brazil) [Postgraduate Student (Ph.D. by research)]
Research Areas
Formal Methods, Verification, Prototyping, Microcontrollers
Supervisor
Andrew Butterfield
Discipline
Software Systems
Centre
LERO - The Irish Software Research Centre
Location
Lloyd.112
E-mail
gomesa at scss.tcd.ie
Personal Web Pages
www.scss.tcd.ie/~gomesa

Gregg, David, MSc, Dr. techn., FTCD

Professor, (Head of Disipline of Software Systems, Course Director Structured PhD Programme)
Research Areas
Software performance optimization, embedded computing, low-energy computing, compilers, deep neural networks on embedded systems, multicore computing, processor microarchitecture, algorithms
Discipline
Software Systems
Centre
LERO - The Irish Software Research Centre
Location
Lloyd.1.30
Telephone Ext.
3693
E-mail
David.Gregg at scss.tcd.ie
College Profile
people.tcd.ie/Profile?Username=dgregg
Personal Web Pages
www.scss.tcd.ie/David.Gregg

Guerin, David

Research Student [Postgraduate Student (Ph.D. by research)]
Supervisor
Edmond Stephen Barrett
Discipline
Software Systems
E-mail
dguerin at tcd.ie
Personal Web Pages
www.scss.tcd.ie/~dguerin

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 Profile
people.tcd.ie/Profile?Username=mcbhenne
Personal Web Pages
www.scss.tcd.ie/Matthew.Hennessy

Hughes, Arthur, Ph.D., M.A. (Dubl.), B.A. (Mod.)

Assistant Professor in Computer Science, (On leave)
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
Telephone Ext.
2459
E-mail
Arthur.Hughes at scss.tcd.ie
College Profile
people.tcd.ie/Profile?Username=aphughes
Personal Web Pages
www.scss.tcd.ie/Arthur.Hughes

Hunter, Ian Frederick, B.A.(Mod) Computer Science

Research Student [Postgraduate Student (M.Sc. by research)]
Supervisor
David Gregg
Discipline
Software Systems
E-mail
hunterif at scss.tcd.ie
Personal Web Pages
www.scss.tcd.ie/~hunterif

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 Profile
people.tcd.ie/Profile?Username=vkoutav
Personal Web Pages
www.scss.tcd.ie/Vasileios.Koutavas

O’Connor, Maria Francesca

Research Student [Postgraduate Student (M.Sc. by research)]
Supervisor
David Gregg
Discipline
Software Systems
E-mail
oconnomf at scss.tcd.ie
Personal Web Pages
www.scss.tcd.ie/~oconnomf

Persand, Kaveena Devi

Research Student [Postgraduate Student (Ph.D. by research)]
Supervisor
David Gregg
Discipline
Software Systems
E-mail
persandk at scss.tcd.ie
Personal Web Pages
www.scss.tcd.ie/~persandk

Quan, Wenji

Research Student [Postgraduate Student (Ph.D. by research)]
Supervisor
Andrew Butterfield
Discipline
Software Systems
Location
Lloyd.111
E-mail
quanw at tcd.ie
Personal Web Pages
www.scss.tcd.ie/~quanw

Rogers, Stephen

Research Student [Postgraduate Student (M.Sc. by research)]
Research Areas
Compiler Optimization, VLIW, Embedded Computing
Supervisor
David Gregg
Discipline
Software Systems
Location
Lloyd.1.14
Telephone Ext.
1783
E-mail
rogersst at scss.tcd.ie
Personal Web Pages
www.scss.tcd.ie/~rogersst

Strong, Glenn David

Research Student [Postgraduate Student (Ph.D. by research)]
Supervisor
Andrew Butterfield
Discipline
Software Systems
E-mail
stronggl at scss.tcd.ie
Personal Web Pages
www.scss.tcd.ie/~stronggl

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
SLS.4.15
Telephone Ext.
3629
E-mail
Glenn.Strong at scss.tcd.ie
College Profile
people.tcd.ie/Profile?Username=gstrong
Personal Web Pages
www.scss.tcd.ie/Glenn.Strong

Vasudevan, Aravind

Visiting Research Fellow
Discipline
Software Systems
E-mail
avasudev at scss.tcd.ie
College Profile
people.tcd.ie/Profile?Username=avasudev
Personal Web Pages
www.scss.tcd.ie/~avasudev

Wen, Yuan

Research Fellow
Discipline
Software Systems
E-mail
weny at scss.tcd.ie
College Profile
people.tcd.ie/Profile?Username=weny
Personal Web Pages
www.scss.tcd.ie/~weny

Alphabetic listings

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

Update your entry