аветисян арутюн ишханович биография
Аветисян Арутюн Ишханович
Образование, учёные степени и учёные звания
Специалитет: Ереванский государственный университет, специальность «Прикладная математика», квалификация «Математика»
Профессиональные интересы
Учебные курсы (2021/2022 уч. год)
Учебные курсы (2020/2021 уч. год)
Учебные курсы (2019/2020 уч. год)
Учебные курсы (2018/2019 уч. год)
Публикации 17
Конференции
Участие в редколлегиях научных журналов
С 2015 г.: член редколлегии журнала «Программирование».
С 2010 г.: член редколлегии журнала «Труды Института системного программирования РАН».
Гранты
2011-2012. Министерство образования, ГК No 07.514.11.4119. “Исследования в области создания платформы и API для решения на суперкомпьютерах задач аэро- и гидродинамики”;
2011-2012. Министерство образования, ГК No 02.740.11.0665 “Организация доступа к распределенным ресурсам: от инфтраструктуры до уровня приложений и веб-сервиса”;
2008-2010. Грант РФФИ № 08-07-91850-КО_а “91850-КО_а «Компиляция программ для высокопроизводительных встраиваемых процессоров»;
2009-2011. Грант РФФИ № 09-07-00382-а «Методология поддержки разработки эффективных параллельных программ в среде ParJava»;
2006-2008. Грант РФФИ № 06-07-89119-а. «Исследование и разработка технологии решения вычислительно-сложных задач на базе распределенных вычислительных ресурсов»;
2003-2004 Грант Президента Российской Федерации для поддержки молодых российских ученых и ведущих научных школ РФ № МК-2371.2003.01.
Опыт работы
2015-наст. время. Директор института системного программирования РАН.
2002-2015. Заместитель директора института системного программирования РАН.
2000-2002.Научный сотрудник института системного программирования РАН.
1997-2000. Аспирант института системного программирования РАН.
Аветисян Арутюн Ишханович
Академик РАН, профессор, зав. кафедрой СП
Аветисян А. И. родился в 1971 году в с. Верхняя Эшера, Сухумского р-на, Абхазской АССР.
Научно-исследовательская работа Аветисяна А. И. связана с такими направлениями системного программирования, как анализ и оптимизация программ, безопасность программного обеспечения (ПО) и технологии параллельных и распределенных вычислений. Аветисян А. И. разработал математические методы анализа ПО на основе моделей программ, обеспечившие возможность создания новых алгоритмов и технологий оптимизации программ. Разработаны и внедрены в промышленные компиляторы GCC и LLVM новые машинно-ориентированные оптимизации производительности (планирование команд, векторизация и конвейеризация циклов) и энергопотребления, учитывающие особенности современных архитектур (ARM, EPIC) и профили приложений. Разработана расширенная версия компилятора LLVM, поддерживающая переносимость приложений на языках С/С++, обеспечивая как эффективный учет особенностей аппаратуры, так и высокую степень надежности и безопасности, внедренная в промышленную мобильную платформу Tizen. Созданы новые методы и инструментальные средства разработки параллельных приложений, обеспечивающие высокую продуктивность разработки, в том числе, для кластеров с использованием GPGPU. В области безопасности ПО им были разработаны математические методы и алгоритмы статического, динамического и комбинированного анализа ПО, не имеющие аналогов в России, и эффективно решающие на уровне лучших мировых коммерческих систем задачи глубокого анализа ПО с целью его аудита для нахождения уязвимостей безопасности и других дефектов в исходном и бинарном коде. В том числе, обеспечена возможность восстановления алгоритмов и нахождения недокументированных возможностей в защищенном бинарном коде. Создана система статического анализа исходного кода Svace и система комбинированного анализа защищенного бинарного кода Трал, которые внедрены и используются для решения практических задач по обеспечению безопасности ПО в ряде отечественных и зарубежных организаций.
Под руководством и при непосредственном участии Аветисяна А. И. создана технологическая платформа UniHUB, обеспечивающая возможность создания различных web-сервисов от уровня инфраструктуры до уровня приложений в концепции «облачных вычислений» и интеграцию этих сервисов в рамках единой web-среды. Это позволяет создавать предметно-ориентированные web-лаборатории, обеспечивающие эффективное взаимодействие распределенных научных коллективов, осуществляющих совместную образовательную, научно-исследовательскую и производственную деятельность. Платформа внедрена в центре обработки данных РАН (ВЦ им. А. А. Дородницына) и на ее базе функционирует несколько web-лабораторий (в частности, лаборатории механики сплошных сред и системного программирования).
Аветисян А. И. является заведующим кафедрами системного программирования в МФТИ и ВШЭ и ведет преподавательскую работу: читает курсы лекций по компиляторным технологиям и параллельным вычислениям для студентов ВМК МГУ и ФУПМ МФТИ, руководит курсовыми и дипломными работами, аспирантами и соискателями. Подготовил 5 кандидатов наук.
С 2017 года Аветисян А. И. — член Совета по науке и образованию при Президенте РФ.
Результаты научно-исследовательской работы Аветисяна А. И. нашли отражение в его публикациях и докладах на конференциях. Им опубликовано свыше 100 печатных работ.
Аветисян Арутюн Ишханович
Биография
Арутюн родился в 1971 году в селе Верхняя Эшера, Сухумского района Абхазской АССР.
В 1993 году получил образование в Ереванском государственном университете.
В 2001 году защитил кандидатскую диссертацию в Институте системного программирования РАН.
В 2012 году защитил докторскую диссертацию в Институте системного программирования РАН. Д.ф.-м.н.
С 1997 года по 2000 год работал аспирантом института системного программирования РАН.
С 2000 года по 2002 год работал научным сотрудником института системного программирования РАН.
В 2002 году получил должность заместителя директора института системного программирования РАН. Работал по 2015 год.
С 2015 года действует на должности директора института системного программирования РАН.
На 14 марта 2017 года Арутюн Ишханович Аветисян работает директором ИСП РАН.
Аветисян арутюн ишханович биография
Помощник в хозяйственных делах и продавец колготок возглавляют Институт системного программирования Российской академии наук (ИСП РАН)?
Редактор информационного портала NEWSRU.NL Григорий Пастернак задал ряд вопросов сыну погибшего академика адвокату Павлу Иванникову.
Ряд российских СМИ опубликовал информацию о том, что в ночь с 27 на 28 ноября 2016 г. в Москве в возрасте 76 лет из-за болезни сердца скончался научный руководитель Института системного программирования Российской академии наук (ИСП РАН), академик, профессор Виктор Петрович Иванников. У вашего отца были проблемы с сердцем?
Нет, отец никогда не имел никаких проблем с сердцем. Он очень следил за своим здоровьем, регулярно проходя медицинские обследования у лучших врачей Российский Федерации в медицинских учреждениях, как Российской Академии Наук, так и в мед. учреждениях Управления Делами Президента РФ.
В письме моей матери, вдовы Иванникова В.П., Иванниковой Тамары Николаевны, направленном в Президиум РАН 20.12.2017 говорится об этом. Причиной смерти моего отца стала вторая попытка суицида (27.11.2016), совершенная в течение двух дней, которая, к сожалению, ему удалась. Первая попытка была предпринята 26 ноября 2016 года, но с помощью врачей Скорой Медицинской Помощи Управления Делами Президента РФ Виктору Петровичу удалось сохранить жизнь. После того, как врачам удалось спасти жизнь Виктора Петровича (26.11.2016) он сказал: «Я все равно жить не буду!» Это так же описано в письме жены Виктора Петровича в Президиум РАН. А мифический сердечный приступ выдумал Аветисян, чтобы скрыть истинные причины смерти Иванникова В.П. Арутюн Аветисян был лично заинтересован в смерти Иванникова В.П., для того, чтобы окончательно завладеть трудами и бизнесом академика. Ведь после гибели Иванникова В.П. Арутюн занял все кафедры, котрые занимал мой отец, стал главным редактором всех изданий, которые возглавлял Иванников В.П. После смерти моего отца Аветисян захватил весь бизнес моего отца по созданию программного обеспечения, Среди партнёров моего отца, с кем отношения Иванникова В.П. выстраивал десятилетиями, Самсунг, Хаувей, Сбербанк, Вымпелком(билайн) и многие другие.
Институт моего отца и те разработки, которые в нем ведутся имеют колоссальное значение для информационной безопасности нашей страны. Отец воспитал Научную Школу талантливых ученых, профессионалов своего дела. Заказчиками Института, являются не только российские предприятия, но и зарубежные компании.
Мне очень тяжело говорить об этом, ведь речь идет не о каком-то абстрактном человеке, а о моем отце.
В настоящее время Институт системного программирования Российской академии наук (ИСП РАН) возглавляет некий г-н Аветисян. Каким образом Арутюн Аветисян попал в Москву, в институт вашего отца и стал директором института?
Цитата: «Павел, здравствуйте! Я работал в ИСП РАН с 1995 по 2010 год. Когда я начинал там работать студентом второго курса, ВП сидел на втором этаже в маленькой комнате во флигеле. АА появился в ИСП в конце 90-х годов сначала в отделе ССГ, под руководством которого он защитил свою кандидацию. В этом тексте на кандидата физ.-мат. наук была 1 (одна!) формула. Дальнейший карьерный рост «героя» сначала был относительно плавным. Если я правильно помню, где-то к 2005 году он стал ученым секретарем ИСП РАН. Постепенно из ИСП выдавливались все сколь-нибудь с ним несогласные, например, Рубанов.» Я был на похоронах ВП, это был настоящий шок. Несмотря на то, что расстались мы по-плохому, я всегда уважал ВП.
Мне пишут, что даже кандидатская диссертация Аветисяна содержала всего одну формулу, которая всячески обкатывалась.
Впоследствии Аветисян с помощью интриг избавлялся от ряда сотрудников ИСП РАН, как например, Рубанова, Чернова, Трошиной. (письма сохранены).
Процитирую: «У него потрясающая способность всем угождать и интриговать. На моих глазах (я тогда ещё маленькая была) Арут из никого интригами вырос в научного секретаря и разогнал всех, кто под него не лёг 🙂 меня в том числе»
Не совсем понятно каким образом директор Института Системного Программирования имени В.П. Иванникова РАН г-н Аветисян выезжает за рубеж и выступает с пленарными докладами на различных международных конференциях за рубежом. Зарубежные партнеры института в курсе того, что вы рассказали?
Кто из ученых назначен заместителем г-на Аветисяна?
Вы обращались в РФ к независимым журналистам независимых СМИ?
Вопрос, связанный с разработками программного обеспечения для коммерческих партнеров. Если не секрет, можете привести пример какой там интерес в деньгах, например, от Самсунг?
С какой целью Арутюн Аветисян целенаправленно исказил причины смерти Академика Иванникова В.П., давая интервью для российских СМИ, прикрываясь защитой имени Виктора Петровича от досужих домыслов и осуждений?
Вы бывали на работе у отца? Знакомы с членами совета по науке и образованию? Пытались с ними связаться после гибели отца и все рассказать?
Я помогал отцу с момента создания ИСП РАН и занимался многими юридическими вопросами. На протяжении более 20 лет с момента его образования в 1994 году и в плоть до ноября 2016 года, когда погиб мой отец. У меня есть много документов и доверенностей на представление интересов ИСП РАН в различных организациях и судах РФ, в том числе за 2016 год, когда Арутюн Аветисян уже формально руководил ИСП РАН. Я знаком с многими сотрудниками ИСП РАН. Знаком лично с некоторыми деловыми партнерами Виктора Петровича, которые бывали у нас дома, в гостях у моего отца. Многие деловые и научные контакты мой отец выстраивал с конца 80-х годов, в том числе с такими известными учеными, как Ларри Витте (США), Динес Бьернер(Дания) и Деннис Цикридис(Германия), которые так же бывали со своими родными в гостях у моих родителей. Еще в детстве отец часто брал меня к себе на работу, как в НИИ «Дельта», так и в Институт Проблем Кибернетики, откуда Виктор Петрович и пригласил многих сотрудников в созданный им новый Институт. Поэтому я могу сказать, что например, Александра Николаевича Томилина и Виктора Зиновьевича Шнитмана я знаю с детских лет. С членами Совета при Призеденте РФ по Науке и Образованию я лично не знаком. Я и вдова Иванникова В.П., Иванникова Тамара Николаевна пытались донести до некоторых членов совета при Президенте РФ по науке и образованию вышеуказанную информацию. И я и Иванникова Т.Н. неоднократно звонили Академику Фортову В.Е., экс-Президенту РАН, но не были услышаны им. Вдова Иванникова В.П., так же пыталась связаться с членом совета по науке и образованию Велеховым Е.П., которого она знает лично с конца 80-х годов, но не смогла до него дозвониться. Спустя 10 месяцев после смерти отца, я обращался не к члену совета по науке и образованию, но к коллеге моего отца, Академику Бетелину В.Б.. Институт, который он возглавляет, НИИСИ РАН долгое время имеет совместные проекты с Институтом моего отца. Академик Бетелин В.Б. только от меня узнал истинную причину смерти моего отца, не смотря на то, что был на похоронах Виктора Петровича и был возмущен произошедшим. Предлагал мне всевозможную помощь и содействие, но когда я позвонил ему через месяц после нашего разговора Владимир Борисович вежливо ушел от разговора сославшись на срочные дела. Это именно он подтвердил мне подозрительно избрание Аветисяна Член-корром РАН фразой: «Виктор Петрович бросил все усилия, использовал все связи и возможности, чтобы избрать НЕИЗБИРАЕМОГО. Это он про Аветисяна. Так Аветисян отплатит моему отцу. Эту фразу я слышал ещё много раз от других людей относительно избрания Аветисяна в Членом-корр РАН. Я неоднократно пытался связываться с ним и его помощницей позже и просил о встрече, но всегда получал отказ. А так же копию своего открытого письма в Президиум РАН я направил по электронной почте лично всем Действительным членам РАН по отделению Математики.
Изменилось ли что-либо за время правления г-на Аветисяна в Институте Системного Программирования имени В.П. Иванникова РАН и вне института?
Аветисян бессовестно использует украденное у Виктора Петровича, представляя, как своё. Например в справке-аннотации при выдвижении в академики РАН представил труды моего отца выдав за свои. Я думаю,что многие учёные в РАН догадывались об этом, но предпочли промолчать. Учреждает премии, стипендии имени Виктора Петровича, проводит конференции им. Виктора Петровича, назвал ИСП РАН им. Виктора Петровича, при этом согласие родственников (вдовы и моё согласие) не спрашивает. Википедия моего отца исковеркана Аветисяном, многие достижения Виктора Петровича перекочевали на страницу Википедии Арутюна Аветисяна. Были уничтожены данные Вики про родителей Виктора Петровича, про его вдову, его детей и внуков. Про золотую школьную медаль Виктора Петровича и многое другое. Это делается для того, чтобы представить Виктора Петровича как человека взявшегося из ниоткуда (нет родителей) и ушедшего вникуда (нет вдовы, детей и внуков). А единственным его другом и семьёй был Аветисян. И это ЛОЖЬ. Аветисян без зазрения совести выдает труды моего отца за свои, плагиат в чистом виде.
Нидерландский независимый информационный портал NEWSRU.NL читают не только граждане стран зарубежья, но и чиновники различных организаций. Вы не боитесь последствий после публикации ваших ответов? Вы сейчас находитесь в надежном месте?
— НЕТ НЕ БОЮСЬ ПОСЛЕДСТВИЙ. Желаю, чтобы люди узнали правду о лжеце и воре Арутюне Аветисяне, из-за которого погиб мой отец.
Что бы вы хотели передать зарубежным партнерам Института системного программирования Российской академии наук РАН имени вашего отца?
И сказал бы партнёрам ИСП РАН, которые продолжают работать с ИСП, не верьте Аветисяну, я не смог увидеть в нём предателя. Предав меня, Аветисян предаст и Вас. Это вопрос лишь времени и выгоды Аветисяна от предательства.
Справочно.
Академик РАН Виктор Петрович Иванников — крупный российский ученый в области вычислительной техники и программирования.
Виктор Петрович родился 27 февраля 1940 года в г. Ступине Московской области. Окончил Московский физико-технический институт по специальности «математические счётно-решающие приборы и устройства» в 1963 году.
Получив под руководством Льва Николаевича Королёва добрый опыт работы в области системного программирования, В.П. Иванников успешно образовал свою научную школу. Институт системного программирования Российской академии наук РАН (25 января 1994 г.) был создан с нуля Виктором Петровичем Иванниковым. Виктор Петрович Иванников руководил работой его коллектива по широкому спектру актуальных направлений: в области разработки операционных систем, систем программирования, в том числе для параллельных вычислительных систем, информационных систем и баз данных, средств машинной графики и систем визуализации и др.
Благодаря энергичной деятельности Виктора Петровича Иванникова, Институт системного программирования имеет огромный авторитет как в России, так и за рубежом.
Виктор Петрович Иванников был главным редактором журнала «Программирование», он вёл активную научно-организационную работу – являлся членом бюро Отделения математических наук РАН, возглавлял комиссии по программированию и программному обеспечению вычислительных систем, был организатором научных контактов российских учёных с многими зарубежными научными коллективами, являлся руководителем Центра верификации ОС Linux, членом программных комитетов российских и международных конференций, активно участвовал в организации и работе международных исследовательских программ, ассоциаций и консорциумов –Gelato, ForTIA, GO4IT, являлся членом международных научных обществ ACM, IEEE Computer Society, возглавлял российское отделение IEEE Computer Society.
С мая 2008 года Виктор Петрович Иванников – академик Российской академии наук, а с мая 2009 года — Президент Российской ассоциации свободного программного обеспечения (РАСПО).
Арутюн Аветисян, член-корреспондент РАН: «Надо быть самыми передовыми, не забывая традиции»
– Арутюн Ишханович, исполнилось 70 лет информационным технологиям в России, и этой теме будет посвящена организуемая вашим институтом конференция. Что там ожидается нового, интересного?
– Действительно, 22-23 ноября состоится конференция, посвященная 70-летию IT в нашей стране. Для меня это особенно важно, как и для института, который я возглавляю, потому что в 1948-м году был создан (Институт точной механики и вычислительной техники, из которого, по сути, выросла школа академика С.А. Лебедева. А Виктор Петрович Иванников, основатель института, имя которого он сейчас и носит, был учеником Лебедева. Мы все наследники этой 70-летней истории, в течение которой непрерывно производились новые технологии, чтобы обеспечить конкурентоспособное развитие страны. И одним из величайших достижений школы академика Лебедева стала машина БЭСМ-6, которая получила всемирное признание, и сейчас её можно увидеть, например, в Музее науки в Лондоне. Причём стоит она рядом с лучшим мировым аналогом из семейства CDC, американской машиной. Мы развивались в рамках физтеховской модели, в Новосибирске её называют «треугольником Лаврентьева», – это интеграция образования, науки и передовой индустрии. То есть инновации, о которых сейчас так много говорят, нам были знакомы уже давно. И, собственно, на конференции как раз пойдёт речь о наших современных инновационных технологиях.
– Увидела у вас на сайте, что в вашем институте колоссальное количество собственных разработок и проектов. Честно говоря, даже не дочитала до конца, так их много. Может быть, расскажете о самых-самых?
– Каждые 5-10 лет технологические акценты меняются, а сейчас это иногда происходит даже быстрее. Последние десятилетия одним из таких важнейших акцентов стало обеспечение кибербезопасности систем с сохранением их конкурентоспособности в экономическом смысле. Наш институт использовал свой бэкграунд для того, чтобы создать такие технологии, как Svace. Это ключевая технология в жизненном цикле разработки безопасного ПО. Мы гордимся тем, что мы прошли этот путь от идеи до внедрения, и сейчас в компании Samsung и ряде наших отечественных компаний используется именно Svace. Кстати, во время конференции мы подпишем соглашение ещё и с компанией «РусБИТех» − о передаче им лицензии и внедрении этой технологии.
Другим примером является анализ бинарного кода, когда у вас нули и единицы, а исходного кода нет, но вам все равно нужно найти в нем дефекты или восстановить архитектуру алгоритма. Наши технологии ТРАЛ и Anxiety позволяют делать это даже в условиях, когда анализируемый код сопротивляется такому анализу. Они тоже внедрены в ряде компаний.
Ещё одно направление связано с извлечением смыслов из больших данных, в которых мы сейчас живем. Это уникальная технология Texterra, дающая возможность извлечения семантики из текстов. Она точно так же прошла путь от идеи до внедрения, и сейчас используется, в компании Samsung и ряде наших отечественных компаний.
– Для чего нужно извлекать семантику из текстов?
– Это может быть нужно, например, если у вас есть большие коллекции документов. В крупных компаниях часто возникает необходимость связать их друг с другом, но это вообще невозможно осуществить практически. Тем более, если идёт поиск по ключевым словам, потому что возникает проблема информационного шума. Кроме того, Texterra используется в другой нашей технологии под названием Talisman, которая направлена на анализ социальных сетей. Без такого хитрого анализа текстов это нельзя сделать вообще, потому что в социальных медиа люди общаются на сленге, и сленг этот очень быстро меняется. Лобовые способы анализа текстов не работают, и нужны новые подходы, связанные, в частности, со статистикой. Мы это умеем делать, а самое главное, всё это не просто научная разработка, а технология, которая внедряется и используется в реальной жизни.
– Когда вы создадите технологию, когда машина будет эффективно переводить расшифровку интервью во внятный текст? Мы будем вашими первыми клиентами.
– Это уже существует, хотя и не в самом совершенном виде. Это дальнейшее развитие технологии, интеграция наших подходов, связанных с анализом текста, потому что это не просто извлечение семантики, но и возможность корректировать текст. Например, когда мы говорим, то часто допускаем ошибки, повторы, разрывы. Как это поправить и выдать более-менее правильный, гладкий с точки зрения семантики текст? Ну, например, звонит человек в колл-центр и говорит, что он хочет. Как правило, он говорит не всегда так, что его можно понять. Особенно, если он волнуется. Даже оператору не всегда это понятно. Даже если у вас есть набор ответов, трудно понять, какой ответ ему надо дать. Это нетривиальная задача, которая в целом еще пока не решена. Но в принципе подходы к ней уже есть, и я вижу, что при определенных усилиях это можно сделать.
– Иначе говоря, в колл-центрах будут работать машины, помогающие людям?
– Это уже постепенно происходит. Главная цель – не полностью автоматизировать колл-центр, а сделать так, чтобы человек вовлекался в последнюю очередь в самых критических случаях.
– Какие у вас еще есть разработки?
– Разработок очень много. Например, есть технологии, связанные с инфраструктурой больших высокопроизводительных центров вычислений. Скажем, технологии, связанные с разворачиванием облачных инфраструктур, и здесь мы стараемся максимально использовать открытое программное обеспечение, как и во всех наших разработках. Я считаю, что это ключевое направление, в рамках которого можно обеспечить технологическую независимость страны, компании. Мы базируемся на коде OpenStack, но у нас есть и собственная разработка, которая уже сейчас проходит внедрение в рамках нескольких НИОКР. Я думаю, в ближайшее время мы ее оформим в виде продукта, который будет зарегистрирован в Госреестре, как и все остальные наши технологии.
– А в чем оригинальность этой разработки?
– Оригинальность – в том, что она обеспечивает разворачивание реально масштабируемых больших центров обработки данных, географически распределенных, которые сейчас в мире доступны в виде сервиса. Amazon, Microsoft или Google тоже все это предоставляют, но в большинстве случаев вы не можете позволить отдавать свои данные в чужой дата-центр. Вам нужно все это развернуть отчуждаемо в своем дата-центре, и вот это мы умеем делать. Наверное, это самая главная составляющая.
– Где будут находиться эти дата-центры?
– Они могут быть где угодно, в любой точке мира, это зависит от заказчика. Человек, находящийся в любой точке мира, может иметь туда доступ. Кроме того, можно организовывать закрытые каналы. Дальше это уже вопрос организационный, а не технологический.
– Мы сказали об уже состоявшихся проектах. Расскажите о проектах, которые вы только замышляете.
– Те проекты, о которых я рассказывал, решают какие-то отдельные задачи. А сейчас перед нами всеми стоят глобальные вызовы, и нужно решать комплексные задачи. Ну, например, программное обеспечение тоже стало большими данными. Речь о сотнях миллионов, миллиардах строк кода, в которых появляются тысячи ошибок, и нужно быстро их исправить, а человекоресурсов уже не хватает. Из-за этого компании задерживают выпуск новых телефонов, например, на несколько месяцев, на полгода. Это принципиальная проблема у всех компаний. Значит, нужны технологии, умеющие работать с этим объемом и решающие все эти задачи. И тут мы сразу оказываемся перед проблемами машинного обучения. Я не люблю говорить «искусственный интеллект», но это методы, применимые в software engineering. Это серьезный вызов, потому что это непознанная территория, и непонятно, какие результаты там могут быть. Но это задача, которую мы должны решать.
Другое направление, еще более сложное, – это интеграция наших технологий анализа текстов с анализом программ. Например, при помощи технологии анализа текста мы могли бы смотреть, что происходит в мире с точки зрения кибербезопасности, находить эти сценарии и автоматически проверять, насколько они действительно опасны. Эта задача даже в постановке пока не прозвучала. По крайней мере, я не встречал её в открытых публикациях. А мы уже этим занимаемся. Или, например, у вас есть исходный язык (C или С++) и вы его превращаете в нули и единицы. Тот, кто превращает, − это среда сборки, компилятор. И он устроен таким образом, что вносит в бинарный код уязвимость, которой в исходном коде нет. А вот как сделать, чтобы этого не происходило? Тоже задача по сути не решаемая, но мы этим фундаментально занимаемся. Хотя все в процессе и еще не превратилось в продукт, про который можно было бы сказать: «купите».
– А почему, интересно, вы не любите говорить «искусственный интеллект»? Это не интеллект?
– С моей точки зрения, пока еще нет.
– А вообще возможно создать искусственный интеллект?
– Речь идет о том, что, когда возникает большой массив данных, то даже переводчик Google работает на статистике, на опыте. Можно сказать, что это искусственный интеллект? В каком-то смысле, да. Но если мы хотим исправить ошибку в коде, если у вас миллионы программистов что-то делали, можно ли на их опыте обучиться? Не знаю. Никто не знает, что будет, когда ситуация изменится. Последние пару лет очень много публикаций, связанных со следующим явлением: на полной скорости едет машина, которая обучалась и по всем меркам умеет распознавать все знаки. И вдруг перед ней знак о том, что проезд запрещен. Если на этот знак нанести определенным образом краску, система обучения ломается, и машина на полной скорости может выехать на перекресток. То есть, можно взломать систему, которая является черным ящиком. Там нет такой глубокой математики, которая бы доказала, что так сделать не получится. Поэтому пока рано говорить об искусственном интеллекте.
– Многие люди, которые этим занимаются, говорят о том, что в принципе невозможно создать искусственный интеллект, поскольку интеллект человека не алгоритмичен, в отличие от машины.
– Это очень сложный вопрос, и мы рискуем уйти в философию, а я все-таки хотел бы рассказать еще немного про технологии. Например, про формальную верификацию. У нас работает целый отдел, где ребята разрабатывают технологии, которые связаны с так называемой дедуктивной верификацией. Вот как доказать, что в коде нет ошибок? Известно, что это очень сложно и дорого. На 10 000 строк кода, например, нужно написать 200 000 других строк кода. И эти строчки очень дорогие, потому что пишут их очень дорогие специалисты со сложной подготовкой. Но для критических систем, где действительно нужно несколько тысяч строк в космос или ещё куда-то отправить, это имеет смысл. Или когда вам нужно доказать корректность самой модели безопасности. Для этого мы разработали уникальную технологию верификации таких моделей, которую уже внедрили в компанию «РусБИТех», благодаря чему они прошли сертификацию ФСТЭК (Федеральная служба по техническому и экспортному контролю). Сейчас мы делаем то же самое для компании «Базальт», для другой платформы, и они тоже пройдут сертификацию ФСТЭК. Это такие технологические жемчужины, создающие современный научный сервис, и представить себе безопасность на высоком уровне без них очень сложно.
– Когда идешь в ваш институт, ожидаешь чего-то ультрасовременного, сплошной техники стиля хай-тек, где чуть ли не роботы тебя встречают. А здесь обстановка старинного особняка, замечательно и уютно. На стене пейзаж в классическом стиле. Это же Грабарь?
– Эту картину нам подарили ребята из HP. Это оригинальная технология, которой они пользуются, когда картина оцифровывается при помощи специальных сканеров, а потом печатается на холсте, не на бумаге. Если подойти, рукой потрогать, то там даже мазки чувствуются. Это не просто принт. На холсте всё очень приближено к оригиналу.
– Выходит, вы всё-таки не изменяете себе и следуете самым современным технологиям?
– Вы знаете, я думаю, что традиции тоже очень важны. 70 лет – возраст солидный. Мы должны сохранять традиции, но быть при этом самыми передовыми и конкурировать с лучшими мировыми центрами. Доказательством того, что это уже действительно так, для меня является очень простой критерий: когда я иду по коридору института, меня встречают молодые ребята. 80% института – это молодежь.
– А где вы их берете?
– У нас три кафедры. Я заведующий кафедрой в трех ВУЗах: на факультете ВМК в МГУ, на факультете управления и прикладной математики в Физтехе, а также на факультете компьютерных наук в Высшей школе экономики. Но мы берем их и из других университетов. Из Бауманки к нам приходят, из МАИ, МИФИ. Из регионов талантливая молодежь попадает к нам через магистратуру и аспирантуру, ведь сейчас двухуровневое образование. Так формируется костяк института. Примерно 70% наших сотрудников – это наши бывшие студенты, которые окончили какой-то из этих ВУЗов. Опять же – преемственность. Я говорил об интеграции науки с образованием – это важнейший компонент. Когда молодые ребята встречаются с качественными проектами и деньгами, на выходе получается как раз то самое сочетание технологий и кадров. Одно без другого в нашем мире уже не бывает. Чем более продвинута технология, тем больше инноваций требуется вокруг. Если вы год ничего не делаете – вы отстали. А через два года можно вообще выбросить ваш продукт и забыть про него. Чтобы сохранить этот темп, нужна хорошо подготовленная молодежь. Поэтому к нам они приходят из лучших ВУЗов.
– А это правда, что вы даже отдыхать все вместе ездите?
– Наш учитель академик Иванников завёл такую традицию. Мы объездили полстраны, иногда ездим даже составом до двухсот человек. Например, в Армению. В монастыре Хор Вирап даже установлен хачкар – каменный крест, посвященный Иванникову. Это дань уважения нашему ученому. И это не просто широкий жест, ведь в Ереване успешно работает лаборатория нашего института, под нашим научным руководством. В России такая лаборатория есть в Великом Новгороде, вскоре должны появиться на Дальнем Востоке и в Сибири. И везде у нас доброжелательная, гостеприимная атмосфера. Всегда есть хороший кофе и «Боржоми». Эту традицию тоже завел Виктор Петрович, и мы от нее не отказываемся. Кстати, хотите кофе?
Арутюн Аветисян, член-корреспондент РАН: «Надо быть самыми передовыми, не забывая традиции»