|visits||member for||1 year, 10 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.
|bio||website||lonelypad.blogspot.com||visits||member for||1 year, 10 months|
|location||Denmark||seen||Feb 12 '13 at 12:36|