
Ирина Шошмина
Выпускница Санкт-Петербургского государственного политехнического университета (1997). Кандидат технических наук (2015). Старший преподаватель кафедры «Распределенные вычисления и компьютерные сети» СПбПУ.
Область научных интересов: моделирование встроенных систем управления, формальная верификация распределенных систем и алгоритмов, формальная спецификация встроенных систем управления, архитектура распределенных вычислительных систем (грид-системы).
Курсы лекций
1Верификация параллельных и распределенных программных систем
Запись автора: Верификация параллельных и распределенных программных систем. Лекция 2
2 лекции · Юрий Карпов, Ирина Шошмина