Management Team

Evgeniy Ryzhkov is General Director (CEO) of OOO "Program Verification Systems" (Co Ltd)

He graduated from Tula State University in 2007 and got a degree in the field of computer science.

His first experience in creation and selling own software products was development of a program-coloring book for kids FillToy. Though the project was not commercially successful, it made its author sure that he is able to earn money by developing commercial software.

In 2006 together with Andrey Karpov he developed Viva64 code analyzer. Later it has become the key product of the company.

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

In 2008 Viva64 project participated in "START-08" program (are supported by Foundation for Assistance to Small Innovative Enterprises) with Evgeny Ryzhkov as the leader of the project.

Evgeny Ryzhkov is the author of many articles devoted to the development of 64-bit and parallel program systems and code analysis technologies.

Apart from work in "Program Verification Systems" Company, worked as assistant in Tula State University, delivering lectures in "Informatics", "Programming", "Object-Oriented Programming".

In 2009, defended a thesis on the following subject: "Static code analysis for automated errors detection during software migration to 64-bit platforms".

Andrey Karpov is a scientific adviser of OOO "Program Verification Systems" (Co Ltd)

Andrey Karpov is candidate of science (philosophy doctor) in the field of mathematical modeling, numerical methods and complexes of the programs (specialty 05.13.18). He graduated from Tula State University, Faculty of Cybernetics. 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".

For about 5 years he worked as a developer in Scientific Centre "GDT Software Group" (http://www.cfd.ru). His main occupation was organization of work in the sphere of scientific visualization system development (ScientificVR), development of parallel cross-platform applications in the field of computational modeling. For about 2 years Andrey Karpov has been a part-time junior research associate at the Amalgamated Institute of High Temperatures of Russian Academy of Sciences (AIHT RAS).

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

In 2006 together with Evgeniy Ryzhkov he developed Viva64 code analyzer. Later it has become the key product of the company.

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 and co-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.

Andrey Karpov has teaching experience and besides his work in Program Verification Systems company he is the tutor of a programming circle in Nikita Demidov Tula State Machine-building College.