Andrey Karpov, Cand.Sc. (Physics and Mathematics), CTO at OOO "Program Verification Systems". Andrey has developed resource-intensive parallel applications for simulation of gas-dynamic processes and visualization of large data sets. At present, he develops specialized static code analyzer PVS-Studio designed for building effective and efficient resource-intensive applications. Andrey is the author of a great number of articles on various aspects of writing safe 64-bit and parallel code in C++. He is also a Visual C++ MVP.