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
~1k
people reached
-
Denmark
-
Member for 7 years, 11 months
-
38 profile views
-
Last seen Feb 4 '15 at 23:41
