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

I'm the facilitator of F# source code formatter and Visual F# Power Tools. See my GitHub profile for more details.


226 Reputation

This user has not asked any questions
Stack Overflow 30,860 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