Centre for Mathematics and Computer Science