pad
39,834
reputation
7
83
159
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.