Computer Science
pad
Profile Activity
Stats
341
reputation
1k
reached
2
answers
0
questions
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.

Communities (12)

Top network posts

This user doesn’t have any gold badges yet.
4
silver badges
10
bronze badges
View all badges

Top tags (8)

Score 17
Posts 2
Posts % 100
Score 12
Posts 1
Score 12
Posts 1
Score 12
Posts 1
Score 5
Posts 1
Score 5
Posts 1
View all tags →

Top posts (2)

All Questions Answers
Votes Newest
12 Error in the use of asymptotic notation Mar 25 '12
5 Research on evaluating the performance of cache-obliviousness in practice Mar 24 '12

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.