146 reputation
bio website linkedin.com/in/nikov
location Redmond, WA
age 36
visits member for 2 years, 5 months
seen Sep 23 at 21:56

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.

LinkedIn profile
Google+ profile
Blogger profile
Wikipedia account (en)
Wikipedia account (ru)

Feel free to contact me at <ɯoɔ·ןᴉɐɯᵷ(ʇɐ)ʌoʞᴉuʇǝɥsǝɹ·ʌ>

This user has no recent positive reputation changes
This user has not answered any questions
Mathematics 16,203 rep 277162
Stack Overflow 4,233 rep 21527
Mathematica 2,332 rep 1037
MathOverflow 1,478 rep 2250
Programming Puzzles & Code Golf 278 rep 17

3 Votes Cast

all time   by type  
2 up 2 question
1 down 1 answer