🔥Команда НГУ стала призером Первого всероссийского соревнования по формальной верификации программ VeHa-2023
Первое всероссийское соревнование по формальной верификации программ VeHa-2023 прошло в рамках конференции PSSV-2023 с 3 и 4 ноября.
🎉🏆Команда Механико-математического факультета Новосибирского Государственного университета завоевала третье место.
👉В состав команды вошли магистранты первого года обучения по профилю «Формальные методы анализа программ и систем» Наталья Панченко, Роман Брек и Максим Шарапов.
🌖Задачи соревнования в основном были связаны с решением проблем миссии «Луна-25» с помощью формальных методов анализа программного обеспечения.
Участники соревнования использовали такие методы, как дедуктивная верификация программ и верификация моделей.
Программа соревнований включала тьюториалы по методам и средствам формальной верификации. Победители получили денежные призы и дипломы, а участники – сертификаты участия.
Организаторы считают, что первое соревнование прошло успешно, и планируют сделать это мероприятие ежегодным.
👍👏🎊Поздравляем нашу команду!!!
#нгу #ммф #конкурс
Первое всероссийское соревнование по формальной верификации программ VeHa-2023 прошло в рамках конференции PSSV-2023 с 3 и 4 ноября.
🎉🏆Команда Механико-математического факультета Новосибирского Государственного университета завоевала третье место.
👉В состав команды вошли магистранты первого года обучения по профилю «Формальные методы анализа программ и систем» Наталья Панченко, Роман Брек и Максим Шарапов.
🌖Задачи соревнования в основном были связаны с решением проблем миссии «Луна-25» с помощью формальных методов анализа программного обеспечения.
Участники соревнования использовали такие методы, как дедуктивная верификация программ и верификация моделей.
Программа соревнований включала тьюториалы по методам и средствам формальной верификации. Победители получили денежные призы и дипломы, а участники – сертификаты участия.
Организаторы считают, что первое соревнование прошло успешно, и планируют сделать это мероприятие ежегодным.
👍👏🎊Поздравляем нашу команду!!!
#нгу #ммф #конкурс
Студенты НГУ прошли в финал кейс-чемпионата
Студенты четвертого курса экономического и математического факультета НГУ приняли участие в кейс-чемпионате «Critical impact» от компании «Яков и Партнеры».
Среди 800 участников со всей страны они были отобраны в финал и стали единственными представителями студентов из бакалавриата и единственными участниками из Новосибирской области.
— НГУ научил нас думать и не бояться предстоящей нагрузки, студенты университета привыкли к решению сложных задач за короткий промежуток. Именно благодаря регулярному участию в кейс-чемпионатах от Кейс-клуба НГУ, мы сработались как команда, что сейчас помогло нам выйти в финал, — рассказал Алексей Маттис.
Все подробности читайте здесь.
#нгу #студенты #конкурс #эф #ммф #кейсклуб
Студенты четвертого курса экономического и математического факультета НГУ приняли участие в кейс-чемпионате «Critical impact» от компании «Яков и Партнеры».
Среди 800 участников со всей страны они были отобраны в финал и стали единственными представителями студентов из бакалавриата и единственными участниками из Новосибирской области.
— НГУ научил нас думать и не бояться предстоящей нагрузки, студенты университета привыкли к решению сложных задач за короткий промежуток. Именно благодаря регулярному участию в кейс-чемпионатах от Кейс-клуба НГУ, мы сработались как команда, что сейчас помогло нам выйти в финал, — рассказал Алексей Маттис.
Все подробности читайте здесь.
#нгу #студенты #конкурс #эф #ммф #кейсклуб