101 reputation
bio website linkedin.com/in/nikov
location Redmond, WA
age 35
visits member for 1 year, 9 months
seen Oct 22 '14 at 16:29

Having more than 12 years of experience in software development and testing, I currently work as SDE 2 at Microsoft on the ".NET Compiler Platform" project (a.k.a. "Roslyn") — the next generation of managed C# and VB.NET compilers, programming language tools and IDE. Among other things, my job involves participation in design of type systems and new language features, checking them for soundness and their actual implementation and testing.

I am also a member of TC49-TG2 (Ecma standardization committee for C#), currently working on the next version of the international standard Ecma-334.

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 not answered any questions
This user has not asked any questions
This user has not participated in any tags
Mathematics 11,520 rep 164136
Stack Overflow 3,574 rep 21424
Mathematica 2,138 rep 936
MathOverflow 1,224 rep 1947
Programming Puzzles & Code Golf 258 rep 17

3 Votes Cast

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