Skip to main content

Trinity College Dublin, The University of Dublin

Menu Search



LERO - The Irish Software Research Centre

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.

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 Profile
scss.tcd.ie/personnel/andersan
Personal Web Pages
scss.tcd.ie/~andersan

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 Profile
scss.tcd.ie/personnel/butrfeld
Personal Web Pages
scss.tcd.ie/Andrew.Butterfield

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

Research Student, (Lecturer) [Visiting Postgraduate Research Student]
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
scss.tcd.ie/~jgarland

Gomes, Artur Oliveira, MSc in Computer Science

Research Student, (Lecturer in Computer Science - UFMS - Brazil) [Visiting Postgraduate Research Student]
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
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.027
Telephone Ext.
3693
E-mail
David.Gregg at scss.tcd.ie
College Profile
scss.tcd.ie/personnel/dgregg
Personal Web Pages
scss.tcd.ie/David.Gregg

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
scss.tcd.ie/personnel/vkoutav
Personal Web Pages
scss.tcd.ie/Vasileios.Koutavas

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