bio | website | linkedin.com/in/nikov |
---|---|---|

location | Redmond, WA | |

age | 35 | |

visits | member for | 4 years, 2 months |

seen | Nov 14 at 16:22 | |

stats | profile views | 1,797 |

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

Mathematics | 11,210 rep | 163131 | |

Stack Overflow | 3,034 rep | 21323 | |

Mathematica | 2,538 rep | 929 | |

MathOverflow | 1,357 rep | 1843 | |

Programming Puzzles & Code Golf | 238 rep | 17 |

Yearling × 4 | Good Question × 4 |

Good Answer | Citizen Patrol |

Popular Question × 8 | Nice Answer × 7 |

Nice Question × 15 | Favorite Question |

Curious | Caucus |

# 268 Votes Cast

all time | by type | ||||
---|---|---|---|---|---|

258 | up | 70 | question | ||

10 | down | 198 | answer |