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.