Skip to main content Skip to navigation

Applied Computing News

Select tags to filter on

Latest academic promotions

We are happy to announce four promotions in the department:

Many congratulations to our colleagues for all their achievements!


An Easy-Sounding Problem Yields Numbers Too Big for Our Universe

On this recent article in the Quanta magazine, Alex Dixon, who wrote in Haskell the first solver for the problem, commented:

For the past 50 years, Vector Addition Systems—a simple but powerful computational model—have been a topic of great interest in theoretical CS. The reachability problem in that model asks whether we can get from some configuration to another.

The problem sounds relatively easy on a first glance, and an exponential lower bound held firm for over 40 years. Work by excellent theoreticians, including familiar names from Warwick DCS, finally closed the difficulty of the problem in 2021, concluding that it is very, very difficult indeed.

Wed 06 Dec 2023, 16:35 | Tags: People Research Outreach Theory and Foundations

PhD position in Quantum Learning Theory at the University of Warwick, UK (Application deadline: January 1, 2024)

One funded PhD position is available in the group of Dr Matthias C. Caro, who will join the Theory and Foundations group in the Department of Computer Science at the University of Warwick, UK, in Fall 2024. Candidates interested in the interactions between quantum computing and learning theory are encouraged to apply.

The Warwick CS theory group has strong ties with the Centre for Discrete Mathematics and its Applications (DIMAP) and, together with DIMAP, is one of the leading theory groups in Europe, with regular publications in top international conferences and journals in theoretical computer science. Moreover, the successful candidate will become a part of the exciting, interdisciplinary research initiative Warwick Quantum. Overall, the Department of Computer Science at Warwick offers an excellent research environment. It was ranked 4th in the latest UK research assessment in Research Excellence Framework (REF) in 2021.

Tue 28 Nov 2023, 11:30 | Tags: Jobs and studentships Theory and Foundations

Older news