User:Vladimir Reshetnikov

Having more than 13 years of experience in software development and testing, I lately worked at JetBrains on the Kotlin team as the Language Specification Lead, and currently in the process to applying to a developer position at Microsoft.

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.