Computer Science
Royal Holloway computer scientists take the initiative on Autoformalization with Language Models
The work proposes a unified framework, encouraging cross-pollination between different fields to advance the development of next generation AI systems.
The PLS Group Caps 2025 with Success at POPL
The Programming Languages and Systems (PLS) group has closed an excellent year with four papers accepted to the upcoming Principles of Programming Languages (POPL) conference.
MOU signed between Royal Holloway and Crossrail International
The MOU supports an innovative partnership which aims to enhance research and technological innovation in transport infrastructure and digital transformation.