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

location | Redmond, WA | |

age | 34 | |

visits | member for | 3 years, 6 months |

seen | Mar 23 at 19:20 | |

stats | profile views | 1,481 |

Having about 12 years of experience in software development and testing, I currently work at Microsoft on the next generation of managed compilers, programming language tools and IDE. Among other things, my job involves participation in designing of type systems, checking them for soundness and testing of correctness of their implementation.

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 and computability theory.

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 | 8,633 rep | 44100 | |

Mathematica | 2,243 rep | 623 | |

Stack Overflow | 2,111 rep | 21221 | |

MathOverflow | 959 rep | 1536 | |

Programming Puzzles & Code Golf | 231 rep | 5 |

Nice Answer × 7 | Constituent |

Popular Question × 6 | Yearling × 3 |

Favorite Question | Benefactor |

Nice Question × 12 | Good Question × 3 |

Caucus | Promoter |

# 237 Votes Cast

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

230 | up | 61 | question | ||

7 | down | 176 | answer |