101 reputation
1
bio website lonelypad.blogspot.com
location Denmark
age 29
visits member for 1 year, 11 months
seen Oct 19 '12 at 7:19

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.


This user has not participated in any bounties