the Department of Computer Science