Приглашаем к сотрудничеству

Профессор Дмитрий Зайцев из Международного гуманитарного университета, Одесса, активно сотрудничает с учеными ЯрГУ в рамках  международного семинара "Семантика, спецификация и верификация программ: теория и приложения" по таким направлениям, как организация вычислений на сетях Петри и применение бесконечных сетей Петри для  верификации программ. Он  известен российским читателям по публикациям, посвященным построению сети Петри, исполняющей нормальный алгоритм Маркова, и моделированию вычислительных решеток бесконечными сетями Петри. Статьи опубликованы в журналах «Моделирование и анализ информационных систем» и «Автоматика и телемеханика».

Недавние публикации профессора Зайцева в ведущих мировых изданиях на английском языке содержат ряд интересных результатов, к которым мы сочли целесообразным привлечь внимание ученых и студентов в целях расширения сотрудничества и организации совместных проектов. Подробнее: http://daze.ho.ua/ 

В.А. Соколов,
д.ф.-м.н., профессор,
зав. кафедрой теоретической информатики ЯрГУ

← Возврат к списку