11,225 reputation
163131
bio website linkedin.com/in/nikov
location Redmond, WA
age 35
visits member for 3 years
seen Nov 26 at 1:52

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


11,225 Reputation

15 Nov 25
5 Nov 20
10 Nov 17
15 Nov 15
15 Nov 14
5 Nov 11
5 Nov 9
5 Nov 8
10 Nov 6
15 Nov 5
25 Nov 2
20 Nov 1
5 Oct 31
20 Oct 30
5 Oct 29
10 Oct 28
10 Oct 26
5 Oct 25
10 Oct 24
15 Oct 23
5 Oct 22
25 Oct 21
55 Oct 20
45 Oct 19
25 Oct 18
-50 Oct 17
15 Oct 15
25 Oct 14
27 Oct 13
30 Oct 12