Member for 10 years, 6 months
Last seen more than 9 years ago
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.
This user hasn’t posted yet.