Кафедра вычислительных систем
Преподаватели: Вирбицкайте Ирина Бонавентуровна
Вирбицкайте Ирина Бонавентуровна
Заместитель заведующего кафедрой — Вирбицкайте Ирина Бонавентуровна, д.ф.-м.н., профессор кафедры.

Специалист в области фундаментальных проблем параллельной обработки информации. Основные направления деятельности – теория параллельных систем и процессов, включая формальные модели параллелизма, спецификацию и верификацию параллельных систем и систем реального времени, автоматическое конструирование параллельных программ.

И.Б. Вирбицкайте разработан широкий набор формальных моделей, методов и средств спецификации, анализа и верификации параллельных систем и систем реального времени.

Основные результаты включают следующее:

  • предложена логическая характеризация поведенческих эквивалентностей параллельных недетерминированных процессов, представленных моделями структур событий;

  • построена иерархия взаимосвязей эквивалентностей параллельных процессов и процессов реального времени в семантиках «интерливинг/истинный параллелизм» и «линейное/ветвистое время»;

  • на основе методов теории категорий решены проблемы распознавания временных эквивалентностей для конечных вариантов моделей временных автоматов и временных структур событий;

  • предложены методы верификации параллельных систем реального времени, представленных различными временными сетевыми моделями, с использованием аппарата темпоральных логик реального времени.

С 1991 И.Б. Вирбицкайте преподает в НГУ, работая по совместительству доцентом, а с 2003 года – профессором кафедры вычислительных систем. Она читает для студентов ФИТ курс «Задачи и методы параллельной обработки информации» и для студентов ММФ спецкурсы «Теория параллельного программирования» и «Введение в параллельное программирование». И.Б. Вирбицкайте была ученым секретарем кафедры «Вычислительные системы» с 1991 г. по 2006 г. Под руководством И.Б. Вирбицкайте защищено 5 кандидатских диссертаций. Также она осуществляет руководство дипломным и курсовым проектированием по направлению «Теория параллельных систем и процессов».

Раб. тел.: (383) 330 63 60.

E-mail: virb[at]iis.nsk.su.

Персональная страничка: http://www.iis.nsk.su/structure/personpage.asp?PersonID=15&lang=rus.

poor mans design