UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):
-
SDG 3 Good Health and Well-being -
SDG 7 Affordable and Clean Energy
Collaborations and top research areas from the last five years
Profiles
-
Francisco Ferreira Ruiz
- Department of Computer Science - Lecturer in Computer Science
- Centre for Programming Languages and Systems
Person: Staff - Academic staff
-
-
-
A dynamic programming algorithm for the maximum s-club problem on trees
Fernández-Zepeda, J. A., Flores Lamas, A., Hague, M. & Trejo-Sánchez, J. A., 1 Mar 2026, In: European Journal of Operational Research. 329, 2, p. 426-435 10 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile11 Downloads (Pure) -
A Modular Static Cost Analysis for GPU Warp-Level Parallelism
Blike, G., Zicarelli, H., Sathiyamoorthy, U., Lange, J. & Cogumbreiro, T., 14 Jan 2026, In: Proceedings of the ACM on Programming Languages.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
A Synthetic Reconstruction of Multiparty Session Types
Ferreira Ruiz, F., Castro Perez, D. & Jongmans, S.-S., 8 Jan 2026, p. 1442. 1470 p.Research output: Contribution to conference › Paper › peer-review
Open Access
-
REDONDA: A Next-generation Byzantine State-Machine Replication Protocol for Blockchain.
O'Keeffe, D. (PI)
Eng & Phys Sci Res Council EPSRC
1/03/24 → 28/02/27
Project: Research
-
iRealHAT-PEGA: Informed real-time human-agent teaming through patterns of eye gaze allocation
Durant, S. (PI) & Stathis, K. (CoPI)
Air Force Office of Scientific Research
1/11/22 → 31/10/25
Project: Research
-
Consensus-layer mitigations for validator ransomware attacks
O'Keeffe, D. (PI) & Hurley-Smith, D. (CoI)
1/10/22 → 31/03/23
Project: Research
Activities
-
International Colloquium on Automata, Languages and Programming and ACM Symposium on Principles of Distributed Computing and ACM Symposium on Parallelism in Algorithms and Architectures
Hague, M. (Organiser)
6 Jul 2026 → 10 Jul 2026Activity: Participating in or organising an event › Participation in a conference
-
Principles of Programming Languages
Hague, M. (Member of programme committee)
11 Jan 2026 → 17 Jan 2026Activity: Participating in or organising an event › Participation in a conference
-
Bridge to AI Bootcamp
Quaglia, E. (Organiser), Simons, J. (Organiser) & Stathis, K. (Organiser)
2026Activity: Participating in or organising an event › Workshop, seminar, course or webinar.
Datasets
-
A Reference GLL Implementation - language corpora repository
Johnstone, A. (Creator) & Scott, E. (Other), Royal Holloway, University of London, 23 Oct 2023
https://github.com/AJohnstone2007/referenceLanguageCorpora
Dataset
-
A reference GLL implementation - code base
Johnstone, A. (Creator), Royal Holloway, University of London, 20 Oct 2023
https://github.com/AJohnstone2007/referenceImplementation
Dataset