Профессор Дмитрий Зайцев из Международного гуманитарного университета, Одесса, активно сотрудничает с учеными ЯрГУ в рамках международного семинара "Семантика, спецификация и верификация программ: теория и приложения" по таким направлениям, как организация вычислений на сетях Петри и применение бесконечных сетей Петри для верификации программ. Он известен российским читателям по публикациям, посвященным построению сети Петри, исполняющей нормальный алгоритм Маркова, и моделированию вычислительных решеток бесконечными сетями Петри. Статьи опубликованы в журналах «Моделирование и анализ информационных систем» и «Автоматика и телемеханика».
Недавние публикации профессора Зайцева в ведущих мировых изданиях на английском языке содержат ряд интересных результатов, к которым мы сочли целесообразным привлечь внимание ученых и студентов в целях расширения сотрудничества и организации совместных проектов. Подробнее: http://daze.ho.ua/
В.А. Соколов,
д.ф.-м.н., профессор,
зав. кафедрой теоретической информатики ЯрГУ
Май 2020 | ||||||
---|---|---|---|---|---|---|
Пн | Вт | Ср | Чт | Пт | Сб | Вс |
27 | 28 | 29 | 30 | 1 | 2 | 3 |
4 | 5 | |||||
12 |
15
|
16
|
17
|
|||
18
|
19
|
20
|
22
|
23
|
24
|
|
25
|
26
|
27
27.05.2020 15:08:00
Денис Гладких: от выпускника математического факультета до собственной IT-компании за рубежом
27.05.2020 14:34:00
Деловой КаранТиндер: Центр искусственного интеллекта и цифровой экономики Демидовского университета (ЯрГУ) |
28
27.05.2020 15:08:00
Денис Гладких: от выпускника математического факультета до собственной IT-компании за рубежом . День 2.
27.05.2020 14:34:00
Деловой КаранТиндер: Центр искусственного интеллекта и цифровой экономики Демидовского университета (ЯрГУ) . День 2. |
29
27.05.2020 15:08:00
Денис Гладких: от выпускника математического факультета до собственной IT-компании за рубежом . День 3.
27.05.2020 14:34:00
Деловой КаранТиндер: Центр искусственного интеллекта и цифровой экономики Демидовского университета (ЯрГУ) . День 3. |
30
|
+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