User:Vladimir Reshetnikov

The account of this former contributor was not re-activated after the server upgrade of March 2022.

Having more than 13 years of experience in software development and testing, I currently work on compilers and programming language tools.

Although I am not a professional mathematician, I hold a degree in theoretical physics, and I am very passionate about mathematics, especially about evaluation of integrals, sums and products in a closed form, foundations of mathematics, order theory, type theory, computability theory, graph theory and combinatorics.