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 8 years, 7 months
-
38 profile views
-
Last seen Feb 4 '15 at 23:41
Communities (12)
Top network posts
Badges (14)
Gold
—
Silver
4
Rarest
-
Mar 25 '14
-
Apr 22 '12
-
Mar 27 '12
Bronze
10
Rarest
-
Mar 24 '12
-
Mar 24 '12
-
Mar 25 '12
