Падарян Вартан Андроникович

Вартан Андроникович Падарян — доцент базовой кафедры «Системное программирование» Института системного программирования им. В.П. Иванникова РАН на факультете компьютерных наук НИУ ВШЭ, кандидат физико-математических наук. В университете преподаёт с 2022 года. Образование получил в МГУ им. М.В. Ломоносова: в 2000 году окончил специалитет по специальности «Прикладная математика» с квалификацией «Математик. Системный программист», в 2005 году защитил кандидатскую диссертацию. Профессиональные интересы — анализ бинарного кода, компьютерная безопасность, компиляторные технологии, эмуляция и виртуализация, параллельное программирование.

С мая 1999 года Падарян работает в ИСП РАН, где заведует лабораторией обратной инженерии бинарного кода — это одно из ключевых в стране подразделений, занимающихся анализом программ без исходных текстов. С сентября 2010 года он также доцент кафедры системного программирования факультета вычислительной математики и кибернетики МГУ им. М.В. Ломоносова. С декабря 2018 года возглавляет подкомитет 2 «Разработка безопасного программного обеспечения» Технического комитета по стандартизации 362 «Защита информации», то есть участвует в выработке национальных стандартов по безопасной разработке. Такое сочетание — исследовательская лаборатория, два университета и стандартизация — определяет содержание его учебного курса: студенты разбирают не абстрактную модель машины, а реальные механизмы, от которых зависят производительность и защищённость программ.

В НИУ ВШЭ Падарян читает дисциплину «Архитектура ЭВМ и язык ассемблера» для первокурсников бакалавриата направления 09.03.04 «Программная инженерия». Курс идёт в 3-м и 4-м модулях, оценивается в 3 кредита и 80 контактных часов и охватывает базовые принципы устройства современных ЭВМ на примере архитектуры x86 с практическим освоением ассемблера и механизмов реализации Си и Си++ на платформе Linux. Тематические блоки выстроены от введения в архитектуру на примерах ассемблерных программ к взаимосвязи Си/Си++, ассемблера и архитектуры IA-32, затем к системе программирования и её связи с архитектурой и, наконец, к физической организации ЭВМ и аппаратной поддержке программ. Цель курса — сформировать понимание организации современных вычислительных систем и того, как связи между аппаратурой, системным и прикладным программным обеспечением влияют на производительность и безопасность. Контроль по дисциплине построен на пяти домашних контестах, двух контрольных работах в 3-м и 4-м модулях и блокирующем экзамене. Курс ведёт коллектив преподавателей, куда помимо Падаряна входят В.В. Алейник, Н.С. Голованов, А.С. Макаровский, М.В. Морген, К.А. Радькин и Д.А. Сокунов. Дисциплина читается на факультете компьютерных наук с 2022/2023 учебного года, и всё это время Падарян остаётся в её преподавательском составе.

Научная биография Падаряна распадается на два больших этапа. Ранние работы 2003–2007 годов связаны со средой ParJava для разработки масштабируемых параллельных программ: «Development of scalable parallel programs in ParJava environment» (2004), «Model based recovery protocol in ParJava environment» (2004), «Checkpointing improvement in ParJava environment» (2005), «Model based performance evaluation for MPI programs» (Lecture Notes in Computer Science, 2007) и «Оценка динамических характеристик параллельной программы на модели» (Programming and Computer Software, 2006). Основное же направление последних полутора десятилетий — анализ машинного кода. К нему относятся статьи «Simulation of operational semantics of machine instructions» (2011), «Methods and software tools to support combined binary code analysis» (2014), «Automated exploit generation for stack buffer overflow vulnerabilities» (2015), «Data representation model for in-depth analysis of network traffic» (2016) и «On the Representation of Results of Binary Code Reverse Engineering» (2018) — все в журнале Programming and Computer Software.

Свежие результаты Падаряна опубликованы в «Трудах Института системного программирования РАН» и Programming and Computer Software: «О методах извлечения алгоритмов из бинарного кода» (Труды ИСП РАН, 2024, т. 36, № 3), «A Model and Declarative Language for Specifying Binary Data Formats» о декларативном языке описания форматов бинарных данных (Programming and Computer Software, 2022), «Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов» (Труды ИСП РАН, 2021), «Практическая абстрактная интерпретация бинарного кода» (Труды ИСП РАН, 2020) и «Automated Testing of a TCG Frontend for Qemu» (Programming and Computer Software, 2020). Всего в профиле ORCID заявлена 21 работа. Рабочий иностранный язык — английский.