Algebraic Methods for Quantified Constraints
This project has just commenced with Barnaby Martin as PI. It is funded by EPSRC Grant EP/X03190X/1 and concerns the computational complexity of Quantified Constraint Satisfaction Problems (QCSPs). Kristina Asimi will join Durham as a postdoc on the project from the 1st February. She has recently completed her PhD at Charles University in Prague. Catarina Carvalho (Herts) and Hubie Chen (KCL) are CIs.