Ask HN: Mathematics in computer science

I have been asked to give a talk on applications of mathematics in computer science to a set of post-graduate and doctorate students in math. I am looking for ideas to convey the beauty of math in CS. The obvious topics are probability and stat in ML, Trig in graphics, number theory in cryptography, category theory in OO, sets in relational algebra. Let me know if you can think of more connections :)