Профессор Дмитрий Зайцев из Международного гуманитарного университета, Одесса, активно сотрудничает с учеными ЯрГУ в рамках международного семинара "Семантика, спецификация и верификация программ: теория и приложения" по таким направлениям, как организация вычислений на сетях Петри и применение бесконечных сетей Петри для верификации программ. Он известен российским читателям по публикациям, посвященным построению сети Петри, исполняющей нормальный алгоритм Маркова, и моделированию вычислительных решеток бесконечными сетями Петри. Статьи опубликованы в журналах «Моделирование и анализ информационных систем» и «Автоматика и телемеханика».
Недавние публикации профессора Зайцева в ведущих мировых изданиях на английском языке содержат ряд интересных результатов, к которым мы сочли целесообразным привлечь внимание ученых и студентов в целях расширения сотрудничества и организации совместных проектов. Подробнее: http://daze.ho.ua/
В.А. Соколов,
д.ф.-м.н., профессор,
зав. кафедрой теоретической информатики ЯрГУ
Октябрь 2024 | ||||||
---|---|---|---|---|---|---|
Пн | Вт | Ср | Чт | Пт | Сб | Вс |
30 | 1 | 2 | 3 | 4 | 5 | 6 |
7 | 8 | 9 | 10 | 11 | 12 | 13 |
14 | 15 | 16 | 17 | 18 | 19 | 20 |
21 |
22 |
23 |
24 |
25 |
26 |
27 |
28 |
29 |
30 |
31 |
1 |
2 |
3 |
+7(4852) 79-77-51
nis@uniyar.ac.ru
Ярославль,
ул. Советская, 14, к. 305
посмотреть на карте
+7(4852) 788-508
oi@uniyar.ac.ru
Ярославль,
ул. Комсомольская, 3, к. Лаборатория Делоне (вход с ул. Первомайской)
посмотреть на карте
с 8:30 до 17:30,
обед с 12:30 до 13:30