341
reputation
4
10

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.

2
answers
0
questions
~978
people reached

Top tags (8)

Score 17
Posts 2
Posts % 100
Score 12
Posts 1
Score 12
Posts 1
Score 12
Posts 1
Score 5
Posts 1
Score 5
Posts 1

Top posts (2) All Questions Answers | Votes Newest

Badges (14)

Gold

Silver

4

Rarest

Bronze

10

Rarest