Computer Science
Dr Xu Feng presented his research in Parliament
On March 17th, Dr Xu Feng presented his research on "Dynamic rail schedule delay forecasting" in Parliament.
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.