Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I'm a researcher in discrete mathematics / combinatorics / theoretical computer science. I'm also interested in formalized mathematics as well has high performance computing. I'm teaching algorithms and programming languages. I'm a developer of Sage http://www.sagemath.org