User:EvgeniyRyzhkov

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.

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

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