Vladimir Reshetnikov

less info
136 reputation
4
bio website linkedin.com/in/nikov
location Redmond, WA
age 34
visits member for 11 months
seen Sep 29 '13 at 16:33

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


This user has not answered any questions
Mathematics 8,673 rep 45102
Mathematica 2,248 rep 624
Stack Overflow 2,121 rep 21221
MathOverflow 959 rep 1536
Programming Puzzles & Code Golf 231 rep 5

2 Votes Cast

all time   by type  
2 up 1 question
0 down 1 answer