10,597 reputation
58124
bio website linkedin.com/in/nikov
location Redmond, WA
age 35
visits member for 2 years, 10 months
seen 5 hours ago

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)
vreshetnikov@twitter

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


10,597 Reputation

35 yesterday
50 2 days ago
33 Sep 19
-275 Sep 18
50 Sep 17
-260 Sep 16
25 Sep 15
10 Sep 14
13 Sep 13
25 Sep 12
-173 Sep 11
20 Sep 10
10 Sep 9
40 Sep 8
65 Sep 7
50 Sep 6
30 Sep 4
530 Sep 3
65 Sep 2
25 Sep 1
60 Aug 31
55 Aug 30
30 Aug 29
15 Aug 28
25 Aug 27
10 Aug 26
50 Aug 25
10 Aug 24
15 Aug 23
35 Aug 22