141
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

1
answer
0
questions
~334
people reached

Top tags (3)

Score 4
Posts 1
Score 4
Posts 1
Score 4
Posts 1

Top posts (1) All Questions Answers | Votes Newest

Badges (4)

Gold

Silver

Bronze

4

Rarest