101 reputation
1
bio website lonelypad.blogspot.com
location Denmark
age 29
visits member for 2 years, 8 months
seen May 30 '13 at 11:40

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,137 rep 74091
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