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.
-
Denmark
-
Member for 9 years, 1 month
-
41 profile views
-
Last seen Feb 4 '15 at 23:41
Communities (12)
Top network posts
Badges (14)
Gold
Silver
Rarest
-
Mar 25 '14
-
Apr 22 '12
-
Mar 27 '12
Bronze
Rarest
-
Mar 24 '12
-
Mar 24 '12
-
Mar 25 '12