"The interplay between mathematics and computer science is a rich source of deep and beautiful results."