Research output per year
Research output per year
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):
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Constant Inapproximability for PPA
Deligkas, A., Fearnley, J., Hollender, A. & Melissourgos, T., 15 Oct 2027, (Accepted/In press) In: SIAM Journal on Computing.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Acceleration of Timing-Aware Gate-Level Logic Simulation Through One-Pass GPU Parallelism
Fang, W., Fu, Y., Gao, J., Guo, L., Gutin, G. & Zhang, X., 13 May 2025, (E-pub ahead of print) In: IEEE Transactions on Computers. p. 1-12 12 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
A Conversation with A. Philip Dawid
Vovk, V. & Shafer, G., 2025, In: Statistical Science. 40, 1, p. 148-166 19 p.Research output: Contribution to journal › Article › peer-review
Open Access
-
KTP between ROYAL HOLLOWAY AND BEDFORD NEW COLLEGE and DDM HEALTH LIMITED
Zhang, L. (PI) & Augustin, H. (CoI)
1/07/25 → 30/06/27
Project: Research
-
Revealing the secrets of neutron-star interiors with AI and the SKA
Graber, V. (Fellow), Colombo, N. (CoI), Cowan, B. (Mentor) & Saunders, J. (Mentor)
14/10/24 → 13/10/28
Project: Research
-
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
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 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 conference
-
Meeting on String Constraints and Applications
Hague, M. (Organiser), Lengál, O. (Organiser) & Day, J. (Organiser)
22 Jul 2025Activity: Participating in or organising an event › Participation in workshop, seminar, course
Prizes
-
1st Prize in Cool Computing Competition
Nguyen, D. K. A. (Recipient), Mar 2009
Prize: Prize (including medals and awards)
-
1st Prize in National Programming Competition, Vietnam
Nguyen, D. K. A. (Recipient), Mar 2006
Prize: Prize (including medals and awards)
-
1st Prize in the XI National Software Competition, Vietnam
Nguyen, D. K. A. (Recipient), Aug 2005
Prize: Prize (including medals and awards)
Datasets
-
A reference GLL implementation - code base
Johnstone, A. (Creator), Royal Holloway, University of London, 20 Oct 2023
https://github.com/AJohnstone2007/referenceImplementation
Dataset
-
OSTRICH: String Constraint Solver
Hague, M. (Creator) & Ruemmer, P. (Creator), Royal Holloway, University of London, 2018
https://github.com/pruemmer/ostrich
Dataset
-
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