101 reputation
1
bio website lonelypad.blogspot.com
location Denmark
age 29
visits member for 2 years, 8 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.

I'm the facilitator of F# source code formatter and Visual F# Power Tools. See 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 30,870 rep 74195
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