Ярославский государственный университет им. П.Г.Демидова
тел./ факс: +7(4852) 79-77-51
Научная деятельность Документы Подразделения научного управления Молодежная наука

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

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

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

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

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

ВКонтакт Facebook Google Plus Одноклассники Twitter Яндекс Livejournal Liveinternet Mail.Ru
here

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


Управление научных исследований и инноваций (УНИ) ЯрГУ

+7(4852) 79-77-51
nis@uniyar.ac.ru

Ярославль,
ул. Советская, 14, к. 305
посмотреть на карте

Время работы

с 8:30 до 17:30,
обед с 12:30 до 13:30