Листопад 🍂 возможностей на любой вкус

VeHa-2024 — это соревнование по формальной верификации для студентов и разработчиков, где участники знакомятся с формальными методами и узнают, какие задачи и какими инструментами можно решать с их помощью. Мероприятие пройдет с 18 по 21 октября в онлайн- и офлайн-формате (Иннополис).

Мы поддержали контест VeHa-2024: трое наших коллег составляли задания для IT-состязания. Мы спросили у Анастасии, Тимофея и Артёма, какой подход к разработке заданий они выбрали, есть ли в задачах кейсы из рабочей практики и что может это соревнование дать участникам. Ниже начало нашего мини-интервью, остальные ответы — в карточках.

К составлению заданий мы подходили с точки зрения студента, который только приступает к изучению формальной верификации (прекрасно помним своё состояние в университете:)). В идеале студенту должно быть интересно. Изучение нового материала должно вдохновлять, но, в то же время, задания не должны быть слишком простыми и очевидными, а также чересчур сложными.

🤩 Зарегистрироваться и проверить свои силы