226 reputation
bio website careers.stackoverflow.com/…
location Denmark
age 29
visits member for 2 years, 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.

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 31,378 rep 74499
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