101 reputation
bio website lonelypad.blogspot.com
location Denmark
age 29
visits member for 2 years, 2 months
seen Feb 12 '13 at 12:36

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.

See the F# source code formatter and my GitHub profile for more details.