User:Catsarefurrytheory
I'm a computer scientist whose professional interests include category theory, automated and interactive theorem proving, computational and experimental number theory, asymmetric cryptography, algorithmic commutative algebra, lattice and order theory, graph theory, combinatorics and discrete math in general, algorithms and data structures (of course), concurrent and distributed algorithms, optimization, machine learning and - most of all - programming language design and theory.
Although I am a strong believer in the idea that knowledge should be free, I have long been skeptical of Wikipedia's veracity. I've finally joined up and drunk the kool aid because I figured I might as well put my money where my mouth is and do my bit to improve things rather than just complaining.