Laboratory of Computer Science and Mathematics