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