SDET II, Managed Languages Team, Microsoft.
I work on the next generation of managed compilers, language tools and IDE. Although not a professional mathematician, I am passionate about mathematics, especially set theory, computability theory, order theory, and evaluation of sums and integrals in a closed form.

LinkedIn profile
MathOverflow profile
Google+ profile
Blogger profile
Wikipedia account (en)
Wikipedia account (ru)
vreshetnikov@twitter