В Новосибирском государственном университете в конце января проходил Зимний Системный Буткемп лаборатории YADRO — интенсивная образовательная программа для студентов, интересующихся системной разработкой, низкоуровневым программированием и формальной верификацией программных систем. Финальным этапом буткемпа стали защиты проектов.
В течение недели участники работали над инженерными проектами под руководством кураторов лаборатории, посещали общеобразовательные лекции по новейшим технологиям и осваивали современные подходы к системной разработке. Как отмечают организаторы, ключевой задачей буткемпа было не только получение практических навыков, но и формирование целостного, системного взгляда на профессию ИТ-инженера.
По словам заместителя декана по магистратуре Факультета информационных технологий (ФИТ) НГУ, руководителя лаборатории YADRO Александра Власова, буткемп изначально строился как интенсив с высокой степенью вовлечённости студентов.
— Сегодня у нас последний проектный день. Завтра пройдут финальные выступления команд перед экспертами компании и кураторами проектов. Сейчас ребята активно готовятся: дорабатывают код, компилируют, исправляют ошибки, заканчивают сборку IoT устройств, — отметил Александр Власов, обращаясь к участникам.
Каждый проект сопровождал наставник-куратор, который был постоянно включён в работу команды. В середине недели участники также представили промежуточные результаты, обозначили ключевые сложности и сформулировали цели на финальный этап.
Важной частью буткемпа стала серия общеобразовательных лекций, которые дополняли проектную работу и помогали участникам лучше понимать задачи коллег:
— Мы подбирали лекции так, чтобы они были полезны и тем, кто только начинает знакомство с системной разработкой, и тем, кто уже учится на старших курсах профильных направлений. Для одних это было знакомство с новой областью, для других — систематизация и расширение уже имеющихся знаний, — отметил Александр Власов.
Всего в рамках буткемпа прошло четыре лекции. Открывающую лекцию дистанционно прочитал представитель компании YADRO Илья Мамаев — она была посвящена опыту применения аппаратных точек останова (breakpoint) в операционной системе Linux.
Николай Репин рассказал студентам об учебной архитектуре CDM. В ходе лекции обсуждались цели создания архитектуры, её текущее применение и перспективы развития:
— Ключевых идей в лекции было по сути две: первая — действительно, если современный разработчик хочет называть себя квалифицированным специалистом, ему необходимо обзорно понимать аспекты системной разработки и того, как его платформа работает на низком уровне. Вторая важная идея — необходимость развивать учебные материалы по одной из основных дисциплин бакалавриата, чем мы активно занимаемся.
Отдельное внимание было уделено фундаментальным вопросам архитектуры вычислительных устройств. Лекцию на эту тему прочитал Дмитрий Иртегов. Как отмечают организаторы, она была полезна как для студентов непрофильных направлений, так и для обучающихся ФИТ — за счёт системного взгляда и углубления материала основной учебной программы.
— Понимание того, что происходит на низком уровне и как связаны между собой разные компоненты системы, сегодня особенно важно для ИТ-специалистов. Сейчас ИТ — очень широкая область, и у многих возникает иллюзия, что можно развиваться в узкой специализации, не имея общего представления о том, как устроена система в целом. На мой взгляд, это ошибочный и даже опасный подход. Рынок быстро меняется, и переучиваться значительно проще тем, у кого есть системное видение: понимание того, как одно связано с другим, что в принципе возможно, а что — нет, и где находятся глобальные вызовы отрасли. Это видение неизбежно включает и знание низкоуровневых процессов, — отметил Дмитрий Иртегов.
Завершающей стала лекция Дмитрия Кондратьева (Институт систем информатики СО РАН), посвящённая дедуктивной верификации программ — одной из наиболее наукоёмких и перспективных областей современной ИТ-индустрии.
— Дедуктивная верификация позволяет гарантировать корректность программ в отличие от обычного тестирования. Сегодня мы находимся на стыке науки и практики, когда сложные теоретические методы начинают применяться в реальных проектах, — подчеркнул Дмитрий Кондратьев.
По его словам, развитие искусственного интеллекта и автоматической генерации кода делает особенно важной роль человека как специалиста, отвечающего за проверку и корректность программных решений. Потенциал применимости таких методов исключительно широк, особенно в областях системной разработки, где надёжность критически важна: в космической отрасли, банковской сфере, робототехнике и системах искусственного интеллекта.
Лектор также отметил, что студенты НГУ демонстрируют высокий уровень подготовки и способны осваивать даже сложные теоретические направления благодаря сильной математической базе.
Все проекты, представленные в рамках Зимнего Системного Буткемпа лаборатории YADRO, были успешно защищены. Студенты получили сертификаты об участии в мероприятии. Победителей в рамках буткемпа не определяли — акцент был сделан на образовательный результат и командную работу.
Для студентов, которые продолжат проектную деятельность в лаборатории YADRO, в дальнейшем могут быть назначены специальные стипендии от компании. Все участники буткемпа хорошо себя зарекомендовали, получили приглашение к участию в отборе на летнюю стажировку «Импульс», которая в перспективе дает возможность стажировки в продуктовой команде.
Зимний буткемп стал для участников возможностью не только получить практический опыт системной разработки, но и погрузиться в современную ИТ-индустрию — через инженерные задачи, командную работу и диалог с представителями науки и индустрии.
