Летом 2023 года в Институте прикладных компьютерных наук ИТМО открылась корпоративная магистратура компании YADRO «Инструменты разработки и анализа программ». Мы поговорили с первокурсниками программы, узнали их впечатления об обучении, истории поступления и планы на будущее.

Я подал документы в магистратуру «Инструменты разработки и анализа программ» практически сразу после того, как узнал о ее открытии, ведь я уже был знаком с командой и был уверен в качестве новой программы. К тому же, эта магистратура полностью совпадает с моими научными и профессиональными интересами. Я сейчас работаю программистом в Positive Technologies и занимаюсь разработкой инструментов интеграции наших анализаторов с другими инструментам, например, плагинов для IDE и систем CI/CD. К тому же, я долгое время занимался изучением анализа кода в лаборатории Верификации и анализа программ JetBrains Research. Наверное, именно поэтому мне не пришлось особо готовиться к поступлению и обучению.

Однако учиться сначала было непросто: нужно было каким-то образом соблюсти баланс между учебой, работой и личной жизнью. Стало намного легче, когда я принял тот факт, что не всегда нужно стараться получить лучшее решение, иногда важнее найти то, что будет работать. Мне нравится, что учебный план включает как теоретические, так и практические дисциплины. Например, на курсе «Программная инженерия» мы решаем такие прикладные задачи от главного партнера программы — компании YADRO, как улучшение среды исполнения V8 на архитектуре процессоров RISC-V или измерение производительности андроида на нем же. Сейчас мы работаем над проектом по созданию анализатора пакетов программ в системе и демонстрации способов их взаимодействия. Еще я посещаю курс по C++: у нас был выбор пройти его позже онлайн или сейчас офлайн, я решил, что мне комфортнее второй вариант. Предмет этот непростой и занимает много времени, но зато помогает лучше понимать устройство этого языка и его компилятора, что будет полезно в будущем при разработке аналогичных инструментов.

В будущем я бы хотел работать по специальности. Несмотря на то, что она очень узкая, я бы даже сказал «нишевая», уверен, проблем с поиском работы после такой подготовки не возникнет.

Я решил поступить в магистратуру «Инструменты разработки и анализа программ» в середине июня, как только увидел ее сайт. Уже более двух лет я работаю в области языков программирования и компиляторов, а эта программа отвечала моим требованиям и интересам. К тому же ИТМО мне кажется самым современным университетом в Петербурге, что немаловажно для нашей профессии.

Поступал я по конкурсу портфолио: собрал документы о стажировках, работе, доклад с конференции в Политехе — и отправил файл. Хочу отметить, что процесс подачи документов и требования к оформлению портфолио в ИТМО менее строгие, чем в других университетах, поэтому и справился я с этим быстро.

К обучению в магистратуре я никак не готовился, кроме того, что очень хорошо отдохнул летом.

Первый семестр — вводный, поэтому новых предметов не так много, но все они относятся к нашему профилю и позволяют получить ценный опыт. В целом сложностей с обучением нет, и пока мои ожидания от программы целиком и полностью оправдываются. Но учиться не очень просто: много домашних заданий и проектов, поэтому свободного времени остается мало, да и совмещать с работой сложновато. При этом меня очень радует то, что преподаватели реагируют на просьбы студентов: на одном из курсов все студенты отметили, что формулировки в домашних заданиях нечеткие, и преподаватель достаточно быстро на это отреагировал и все исправил. Мне сейчас нравится курс «Функциональное программирование», его читает преподаватель с большим опытом в дизайне языков программирования, поэтому курс очень интересный.

Совсем скоро у нас будет выбор индивидуальных траекторий и предметов, я пока присматриваюсь к конструированию компиляторов, проектированию языков программирования и виртуальным машинам. Эти направления мне интересны, к тому же теперь я работаю в компании YADRO, занимаюсь верификацией аппаратуры — автоматической генерацией тестов для железа. Надеюсь успешно окончить эту программу и получить много полезных знаний.

В магистратуру «Инструменты разработки и анализа программ» я поступил по совету руководителя своей бакалаврской программы в Политехе. Меня заинтересовал учебный план и тематика программы, а еще было интересно поучиться в другом университете, к тому же у ИТМО хорошая репутация.

Я поступал по экзамену, но, по старой студенческой традиции, практически не готовился. Рекомендовать такое не могу, потому что я в итоге прошел по самому краю проходного балла и получил одно из последних бюджетных мест.

Пока обучение полностью соответствует моим ожиданиям. Мне нравится, что все предметы полезные, нет ощущения, что зря тратишь время. Самые интересные курсы сейчас, на мой взгляд, — это «Математическая логика» и «Введение в анализ и верификацию ПО». Первый пока самый сложный, а второй — самый профильный. Заданий много, а учеба интенсивная, и у меня не всегда со всем получается справляться, но это от того, что я неграмотно распределяю время.

В ближайшем будущем планирую найти работу в области backend-разработки или QA — оба направления мне интересны, да и курсы во время учебы будут и по тому, и по другому. Думаю, что совмещать учебу с работой будет непросто, но если научиться все грамотно планировать, то обязательно получится. А в перспективе нескольких лет надеюсь успешно окончить эту программу.