101 reputation
1
bio website lonelypad.blogspot.com
location Denmark
age 29
visits member for 1 year, 7 months
seen Oct 19 '12 at 7:19

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 answered any questions
This user has not asked any questions
This user has not participated in any tags
Stack Overflow 28,829 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