226
reputation
1
3

pad

I'm a PhD student in Computer Science. Being obsessed with program correctness, I use functional programming and formal methods daily to enforce it.

During free time, I contribute to some F# Open Source projects.

I'm the facilitator of F# source code formatter and Visual F# Power Tools. See my GitHub profile for more details.

3
answers
0
questions
~631
people reached

Top tags (3)

Score 11
Posts 3
Score 6
Posts 1
Score 2
Posts 1

Top posts (3) All Questions Answers | Votes Newest

Badges (4)

Gold

Silver

1

Rarest

Bronze

3

Rarest