Having more than 13 years of experience in software development and testing, I currently work at JetBrains on the Kotlin team as the Language Specification Lead.

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.