226 reputation
1 3


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.

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)

Silver 1


Bronze 3