Faculty of Mathematics and Computer Science