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.
6 Kata: Natural Sort Jan 27 '13
2 Is there a better way of defining custom calendars? Jul 27 '12