Institute of mathematics and computer science