I love the overlap of CS and math. Functional programming and correctness/verification/proofs are really interesting to me.