226 reputation
13
bio website lonelypad.blogspot.com
location Denmark
age 29
visits member for 1 year, 2 months
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.

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


This user has not asked any questions
11
× 3
2
3
Stack Overflow 28,819 rep 73985
Computer Science 321 rep 410
Code Review 226 rep 13
Mathematics 101 rep 1
TeX - LaTeX 101 rep 1

0 Votes Cast

This user has not cast any votes