For full details of associated Research Groups & Research Centres please see here.
Name |
Research Areas |
Publications |
Barret, Stephen |
Social Software Engineering, Computational Social Science. |
![](https://pxl-tcdie.terminalfour.net/prod01/channel_3/media/tcd/scss/images/pubs_icon.png)
|
Botterweck, Goetz |
Software and Systems |
![](https://pxl-tcdie.terminalfour.net/prod01/channel_3/media/tcd/scss/images/pubs_icon.png) |
Butterfield, Andrew |
Formal Methods; Unifying Theories of Programming ; Concurrency Theory; Language Semantics; Theorem Provers/Logics; Kernel Verification; Probability & Priority |
![](https://pxl-tcdie.terminalfour.net/prod01/channel_3/media/tcd/scss/images/pubs_icon.png)
|
Donnelly, Alexis |
Process Calculus - applications to Distributed Systems and (more recently) Biological Systems; Web Accessibility; Universal Design |
![](https://pxl-tcdie.terminalfour.net/prod01/channel_3/media/tcd/scss/images/pubs_icon.png)
|
Dukes, Jonathan |
Wireless Sensor Networks, Low-Power Wireless Communication, Embedded Systems, High-Throughput Computing, Multimedia Streaming. |
![](https://pxl-tcdie.terminalfour.net/prod01/channel_3/media/tcd/scss/images/pubs_icon.png)
|
Gregg, David
(Head of Discipline)
|
Software performance optimization, embedded computing, low-energy computing, compilers, deep neural networks on embedded systems, multicore computing, processor microarchitecture, algorithms |
![](https://pxl-tcdie.terminalfour.net/prod01/channel_3/media/tcd/scss/images/pubs_icon.png)
|
Hennessy, Matthew |
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. |
![](https://pxl-tcdie.terminalfour.net/prod01/channel_3/media/tcd/scss/images/pubs_icon.png)
|
Koutavas, Vasileios |
Programming Languages, Concurrency, Formal Methods, Software Verification |
![](https://pxl-tcdie.terminalfour.net/prod01/channel_3/media/tcd/scss/images/pubs_icon.png)
|
Papaphilippou, Philippos |
Software and Systems |
![](https://pxl-tcdie.terminalfour.net/prod01/channel_3/media/tcd/scss/images/pubs_icon.png) |
Patane, Andrea |
Software and Systems |
![](https://pxl-tcdie.terminalfour.net/prod01/channel_3/media/tcd/scss/images/pubs_icon.png) |
Strong, Glenn |
Functional Programming, Programming language design, type theory, formal methods, computational thinking, programming and computer science education |
![](https://pxl-tcdie.terminalfour.net/prod01/channel_3/media/tcd/scss/images/pubs_icon.png)
|
Ventresque, Anthony |
Software and Systems |
![](https://pxl-tcdie.terminalfour.net/prod01/channel_3/media/tcd/scss/images/pubs_icon.png) |
Waldron, John |
Computer Architecture; Learning Technology |
![](https://pxl-tcdie.terminalfour.net/prod01/channel_3/media/tcd/scss/images/pubs_icon.png)
|