# Семинар в НИВЦ МГУ

23 марта в Научно\-исследовательском вычислительном центре МГУ состоялся семинар с участием генерального директора ООО "СиПроВер" Евгения Рыжкова на тему "Статический анализ кода для автоматического обнаружения ошибок при переносе программ на 64\-битные платформы"\.

Были обозначены проблемы программирования на языке C/C\+\+, связанные с поиском ошибок при переносе кода на 64\-битную платформу и при написании исходного кода с учетом 64\-битной разрядности, в частности, рассмотрены примеры несоответствия типов переменных данных и присваиваемых им значений на системах различной разрядности\.

Аудитории были продемонстрированы примеры поиска ошибок исходного кода анализатором ошибок Viva64, разработанным в компании ООО "СиПроВер"\. Демонстрация примеров вызвала оживленную реакцию слушателей, которые задали большое количество вопросов\.

По мнению докладчика, его речь была воспринята с большим научным интересом\.

Евгений Рыжков, генеральный директор ООО "СиПроВер": "Приятно, когда слушатели понимают суть статического анализа и не приходится объяснять методологию такого способа верификации\. Дискуссия строится на сугубо практических вопросах работы анализатора, и число точек соприкосновения мнений аудитории и докладчика становится максимальным"\.

Основными направлениями научной деятельности Научно\-исследовательского вычислительного центра МГУ являются:

* фундаментальные проблемы построения систем автоматизации; методология, технология и безопасность крупных информационных систем;
* параллельные вычисления и программное обеспечение информационно\-вычислительных комплексов новых поколений;
* математическое моделирование, методы вычислительной и прикладной математики и их применение к фундаментальным исследованиям в различных областях знаний;
* современные компьютерные технологии в обучении\.