pad

Denmark

lonelypad.blogspot.com

Age: 29

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 creator of F# source code formatter and Visual F# Power Tools. See my GitHub profile for more details.

Top Answers
1 2 3 4 5 7