Department of Mathematical Computer Science