user avatar
user avatar
user avatar
pad
  • Member for 10 years, 4 months
  • Last seen more than 7 years ago
Stats
341
reputation
1k
reached
2
answers
0
questions
Loading…
About

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 doesn’t have any gold badges yet.
4
silver badges
10
bronze badges
17
Score
2
Posts
100
Posts %
12
Score
1
Posts
50
Posts %
12
Score
1
Posts
50
Posts %
12
Score
1
Posts
50
Posts %
5
Score
1
Posts
50
Posts %
5
Score
1
Posts
50
Posts %