9,045 reputation
bio website linkedin.com/in/nikov
location Redmond, WA
age 35
visits member for 2 years, 7 months
seen Jul 2 at 0:20

Having more than 12 years of experience in software development and testing, I currently work at Microsoft on the next generation of managed compilers, programming language tools and IDE. Among other things, my job involves participation in design of type systems and language features, checking them for soundness, their actual implementation and testing.

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ǝɹ·ʌ>