Take a look at the latest news in Computer Science.
Displaying 1 to 2 of 2
Dr Khuong An Nguyen awarded an Innovate UK grant
21 Aug 2026Dr Khuong An Nguyen has been awarded an Innovate UK grant for the project titled "TunnelGuard: A Ground-Air Robotic Safety Twin for HS2 Construction", in partnership with High Speed 2 (HS2).
Royal Holloway computer scientists take the initiative on Autoformalization with Language Models
30 Jan 2026The work reviews diverse instances of autoformalization with language models and proposes a unified framework that fosters collaboration across research areas.
