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

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

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

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

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

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

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

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


Октябрь 2017
Пн Вт Ср Чт Пт Сб Вс
25 26 27 28 29 30 1
12 14
15
15.10.2017 12:00:00
ДЕНЬ БИОЭКСПЕРТА
16 18 19 20 21 22
23 24 25 26 27 28
30 31 1 2 3 4 5
Управление научных исследований и инноваций (УНИ) ЯрГУ

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

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

Время работы

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