183
reputation
4

danr

My PhD topic is theorem proving for functional programs.

I like palindromes. Here's one about me:

Poor Dan is in a droop

0
answers
1
question
~396
people reached

Top tags (2)

Score 0
Posts 1
Score 0
Posts 1

Top posts (1) All Questions Answers | Votes Newest

Badges (4)

Gold

Silver

Bronze

4

Rarest