|visits||member for||2 years|
|seen||Jul 7 '13 at 7:22|
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||careers.stackoverflow.com/…||visits||member for||2 years|
|location||Denmark||seen||Jul 7 '13 at 7:22|
0 Votes Cast
This user has not cast any votes