СиПроВер

Компания ООО "СиПроВер" (Системы программной верификации) основана 2008 году, офис находится в городе Тула (200 км от Москвы).

Компания занимается разработкой программного обеспечения в области анализа исходного кода программ. Основные направления работ: разработка и продвижение статического анализатора кода PVS-Studio, создание инструментов для тестирования и контроля качества программных продуктов. Ключевые технические компетенции: 64-битное и параллельное программирование, технологии анализа кода.

Главный программный продукт PVS-Studio является развитием наших прошлых идей – анализаторов кода Viva64 и VivaMP. Объединение Viva64 и VivaMP в программный продукт PVS-Studio позволило предоставить пользователям единое интегрированное решение для разработки современных ресурсоемких приложений.

Технические специалисты компании написали большое количество статей по анализу кода, 64-битному и параллельному программированию. Статьи опубликованы как на сайте компании, так и на других популярных программистских сайтах (ddj.com, software.intel.com, codeproject.com и т.д.).

 

 

Руководство компании

 

Евгений Рыжков, генеральный директор

Окончил Тульский государственный университет в 2007 году по специальности «Программное обеспечение».

Первый опыт по созданию и продаже собственных программных продуктов получил в 2005 году как автор детской программы-раскраски FillToy. Проект хоть и не стал коммерчески успешным, однако вселил уверенность в возможность зарабатывать деньги созданием коммерческого программного обеспечения.

В 2006 году вместе с Андреем Карповым создал анализатор кода Viva64, который впоследствии стал ключевым продуктом компании.

В 2008 году также вместе с Андреем Карповым основал и возглавил компанию «СиПроВер». Ключевое направление деятельности компании – создание и продажа инструментов для программистов в области анализа кода.

В 2008 году с проектом Viva64 принял участие в программе «СТАРТ-08» (поддержка малых предприятий в научно-технической сфере) в качестве руководителя проекта. В результате компания получила государственный контракт на год.

Автор статей по разработке 64-битных и параллельных программных систем, а также по технологиям анализа кода.

Помимо работы в компании «СиПроВер» работал ассистентом в Тульском государственном университете, где читал лекции по «Информатике», «Программированию», «Объектно-ориентированному программированию».

В 2009 году защитил кандидатскую диссертацию на тему "Статический анализ кода для автоматизированного обнаружения ошибок при переносе программ на 64-битные платформы".

Андрей Карпов,научный консультант

Кандидат физико-математических наук по специальности 05.13.18 "Математическое моделирование, численные методы и комплексы программ". Получил образование в Тульском государственном университете (ТулГУ), на факультете Кибернетики. Диссертацию защитил в Институте математического моделирования Российской академии наук (ИММ РАН). Тема кандидатской работы: "Обработка данных на параллельных вычислительных комплексах".

Около 5 лет являлся разработчиком в АНО "Научный центр "GDT Software Group" (http://www.cfd.ru). Основной род занятий - организация работ по развитию системы научной визуализации ScientificVR, разработка параллельных кроссплатформенных приложений в сфере численного моделирования. По совместительству около 2-х лет являлся младшим научным сотрудником Объединённого института высоких температур Российской Академии Наук (ОИВТ РАН).

Имеет глубокие познания в области языка Си++ и методологии статического анализа исходного программного кода.

В 2006 году вместе с Евгением Рыжковым создал анализатор кода Viva64, который впоследствии стал ключевым продуктом компании.

В 2008 году также вместе с Евгением Рыжковым основал компанию «СиПроВер», занимающуюся созданием и продажей инструментов для программистов в области анализа кода.

Является автором и соавтором нескольких десятков публикаций и свидетельств о регистрации программ. Основные тематики публикаций: визуализация данных в газовой динамике, разработка 64-битных и параллельных программных систем, технологии анализа исходного кода. Принимает активное участие в конференциях по этим тематикам.

Имеет преподавательский опыт и помимо работы в компании «СиПроВер» ведет кружок программирования в ТГМК имени Никиты Демидова.


Продукты компании