Andrey Karpov is candidate of science (philosophy doctor) in the field of mathematical modeling, numerical methods and complexes of the programs. Andrey Karpov defended his thesis in the Institute of Mathematical Modelling under Russian Academy of Sciences. The theme of his thesis is "Data Processing in Parallel Computer Complexes".

Andrey Karpov is expert in C++ language and in methodology of source program code static analysis.

In 2008 Andrey Karpov and Evgeniy Ryzhkov founded Program Verification Systems company. The main activity of the company is development and selling of developers' tools in the field of code analysis.

Andrey Karpov is the author of dozens of published works and registration certificates of programs. The main themes of these works are: data visualization in gas dynamics, development of 64-bit and parallel program systems, source code analysis technology. He takes active part in conferences devoted to these themes.

E-Mail: karpov@viva64(dot)com