Institute of Computer Science and Mathematics