11,025 reputation
160129
bio website linkedin.com/in/nikov
location Redmond, WA
age 35
visits member for 2 years, 11 months
seen yesterday

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


1d
reviewed Leave Closed Can someone verify my trig proof
1d
reviewed Close For what values of $x$ is the assignment $y=1-\cos x$ problematic, and why?
1d
reviewed Close Tea with grandmother
1d
reviewed Close traffic flow: red/green light or stop and move?
1d
reviewed Close Find a basis for symmetric $2 \times 2$ matrices
Oct
21
reviewed Close Derive the expected value of $X^{0.5}$
Oct
21
reviewed Close Commutative Algebra and Game Theory
Oct
21
reviewed Close Processing Issues
Oct
21
reviewed Close Arccos function
Oct
21
reviewed Close please help me with this
Oct
21
reviewed Close Find 2 unknown scalars that makes two vectors equal to this vector.
Oct
20
revised Question on the paper Donal F. Connon, “Some integrals involving the Stieltjes constants”
added link
Oct
20
asked Question on the paper Donal F. Connon, “Some integrals involving the Stieltjes constants”
Oct
20
awarded  Nice Answer
Oct
20
awarded  Fanatic
Oct
19
comment Integral ${\large\int}_0^1\frac{\ln^2\ln\left(\frac1x\right)}{1+x+x^2}dx$
It's known that $\gamma_1\left(\tfrac13\right)=\gamma_1-\left(\frac{3\gamma}2+\frac{3\ln 3}4\right)\cdot\ln 3+\frac\pi{\sqrt 3}\left(3\ln\Gamma\left(\tfrac13\right)-\frac\gamma2+\frac{\ln 3}4-2\ln(2\pi)\right)$ and $\gamma_1\left(\tfrac23\right)=\gamma_1-\left(\frac{3\gamma}2+\frac{3\ln 3}4\right)\cdot\ln 3-\frac\pi{\sqrt3}\left(3\ln\Gamma\left(\tfrac13\right)-\frac\gamma2+\frac{\ln 3}4-2\ln(2 \pi)\right)$. So, $\gamma_1\left(\tfrac13\right)-\gamma_1\left(\tfrac23\right)=\frac\pi{\sqrt 3}\left(6\ln\Gamma\left(\tfrac13\right)-\gamma+\frac{\ln 3}2-4\ln(2\pi)\right)$.
Oct
19
reviewed No Action Needed Why does the conditional expectation take an argument?
Oct
19
reviewed Reviewed stochastic model
Oct
19
reviewed Close Given a joint distribution how can I find the jpdf
Oct
19
reviewed Close Histogram Interpretation