Frank Rodriguez

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