Trinity College Dublin

Skip to main content.

Top Level TCD Links

Site map

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.

LERO - The Irish Software Research Centre

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
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
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
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
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

Last updated 23 March 2017 by enquiries@scss.tcd.ie.