Hello, my name is Alexei and for last 28 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 hardware, embedded systems, functional programming and do some research in area of formal methods and program verification.