danr
2,395
reputation
22
24
My PhD topic is theorem proving for functional programs.
I like palindromes. Here's one about me:
Poor Dan is in a droop