Logic and Computation Group
Within the Logic and Computation (LoCo) group we undertake and apply high quality research concerning key aspects of logic and computation, and promote collaborative activities between the group and outstanding researchers with complementary research interests.