Гончар Глеб ЕвгеньевичРоссия, НовосибирскОбласть научных интересовверификация программязыки программированияМесто работы и должность Новосибирский государственный университет — студент Адрес электронной почтыgelerum@gmail.comgelerum@yandex.ru Список статей в журнале СИ: Кондратьев Д.А. Бояндин Л.К. Гончар Г.Е. Марченко В.В. Обухова А.А. Разбитнова Ю.Ю. Хованская А.С. Янбулатов Д.Р. Формальная верификация реализации хэш-функции «Стрибог» с «Группой Астра» // Системная информатика. — 2025. — № 28. — С. 25-52