Профессиональные навыки
Высшее образование
Национальный исследовательский Томский государственный университет
Томск
Факультет: Радиофизический
Сентябрь 2015—По настоящее время (3 года и 10 месяцев)
05.13.01. Системный анализ, управление и обработка информации. Аспирантура. Г. В. Кидярова. К построению тестов для последовательностных схем с использованием ABC. // Новые информационные технологии в исследовании сложных структур: материалы XI международной конференции. - Изд. дом. Томского гос. университета. - 2016. - С. 52.
Факультет: Радиофизический
Сентябрь 2013—Июнь 2015 (1 год и 9 месяцев)
Радиофизика. Магистратура. Диплом магистра с отличием (средний балл 4,9) Выпускная квалификационная работа: «Исследование и разработка методов проверки функциональных требований для дискретных систем на основе верификации логических схем» Кидярова Г. В. «Экспериментальное исследование решателя MiniSAT» // Новые информационные технологии в исследовании сложных структур. – 2013. – С. 51 Кидярова Г. В. «Экспериментальное сравнение двух подходов к верификации логических схем на основе проверки выполнимости КНФ» // Изв. вузов. Физика. – 2013. №9/2. – С. 196 G. Kidyarova, N. Yevtushenko «Verification of timed Finite State Machines» // Труды XI Международной IEEE Сибирской конференции по управлению и связи SIBCON-2015, г. Омск
Факультет: Радиофизический
Сентябрь 2009—Июнь 2013 (3 года и 9 месяцев)
Радиофизика. Бакалавриат. Диплом бакалавра с отличием (средний балл 4,95) Выпускная квалификационная работа: «Верификация логических схем на основе анализа выполнимости КНФ» Кидярова Г. В., Кондратьева О. В. «Эффективное внутреннее представление дизъюнктов и интервалов для проверки выполнимости КНФ» // Новые информационные технологии в исследовании сложных структур. – 2012. – С. 61 Кидярова Г. В. «К верификации логических схем на основе временных автоматов» // Изв. вузов. Физика. – 2012. №9/2. – С. 335
Национальный университет Тайваня
Тайбэй
Сентябрь 2013—Декабрь 2013 (3 месяца)