Hello, my name is Alexei and for last 15 years I am pursuing a career as software engineer. I design and implement software in C/C++ for living and in limited spare time I play with functional programming and do some research in area of formal methods and program verification.
Q&A for professional and enthusiast programmers
Q&A for professional programmers interested in conceptual questions about software development
Q&A for people studying math at any level and professionals in related fields