Computer Science
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.
Our Department started initiative on Autoformalization with Language Models
The work reviews diverse instances of autoformalization with language models and proposes a unified framework that fosters collaboration across research areas.
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.