Богданова Вера Геннадьевна
к.т.н.
Старший научный сотрудник
Лаборатория 5.1. Параллельных и распределенных вычислительных систем
В 1979 году окончила математический факультет Иркутского государственного университета по специальности «прикладная математика». В 1979-1981 гг. – инженер Вычислительного центра Иркутского государственного университета. В 1981-2000 гг. – инженер, старший инженер Института динамики систем и теории управления имени В.М. Матросова СО РАН. В 2000-2003 гг. – ведущий программист, очный аспирант по специальности «математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей». В 2005 г. защитила кандидатскую диссертацию на тему «Методы и инструментальные средства программирования в булевых ограничениях». С 2006 г. – научный сотрудник, старший научный сотрудник ИДСТУ СО РАН.
Специалист в области технологий параллельного программирования, распределенных вычислений, булева моделирования, решения булевых уравнений и сервис-ориентированного программирования. С 2017 г. основные направления работы В.Г. Богдановой – технология автоматизации качественного анализа и параметрического синтеза двоичных динамических систем (ДДС) в гибридной облачной среде на основе разработанного Г.А. Опариным метода булевых ограничений, включающая программные средства построения булевых моделей динамических свойств и проверки их выполнимости, составляющих функциональное наполнение пакета прикладных микросервисов, ориентированного на решение перечисленных задач для широкого класса ДДС.
Соавтор более 135 работ, в том числе 34 публикации в базах цитирования Web of Science и Scopus, имеет 22 свидетельства о регистрации программ.
В 2006-2009 гг. – доцент кафедры информатики Иркутского государственного университета путей сообщения, в 2009-2012 гг. – доцент кафедры теории систем Института математики, экономики и информатики Иркутского государственного университета (по совместительству). В 2013 г. присвоено ученое звание доцента по специальности «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».
Награждена Почетными грамотами ИДСТУ СО РАН, президиума ИНЦ СО РАН, президиума СО РАН, РАН, почетным знаком СО РАН «Серебряная сигма».