118 reputation
6
bio website linkedin.com/in/nikov
location Redmond, WA
age 35
visits member for 1 year, 6 months
seen Sep 11 at 16:17

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


Sep
11
awarded  Scholar
Sep
11
accepted Collecting entropy from a stream to a file
Apr
19
awarded  Informed
Feb
8
revised Collecting entropy from a stream to a file
deleted 133 characters in body
Feb
8
comment Collecting entropy from a stream to a file
Yes, the stream is potentially infinite, but the total available storage is limited, and a need to produce the resulting file may occur at any moment. I updated the problem statement to explain this better.
Feb
8
awarded  Editor
Feb
8
revised Collecting entropy from a stream to a file
Clarified the problem statement
Feb
7
awarded  Student
Feb
7
asked Collecting entropy from a stream to a file
Jul
29
awarded  Supporter
May
5
awarded  Autobiographer