A
A
A

АБВ
АБВ
АБВ

А
А
А
А
А

Обычная версия сайта

Кампусы

Подразделения

Подразделения

Подразделения

Подразделения

По категориям

Ординарные профессораЛучшие преподавателиЧитающие курсы на английском языкеПолучатели академических надбавокАкадемический кадровый резервАдминистративный кадровый резервАспиранты

По учёным званиям и степеням

Члены и члены-корреспонденты РАН и РАОИмеющие ученую степень зарубежного университета

По наградам

Награжденные государственными наградами и почетными званиямиОтмеченные наградами и почетными званиями Правительства, Федерального собрания и федеральных органов исполнительной властиОтмеченные наградами и почетными званиями регионов и муниципальных образованийНагражденные наградами иностранных государствНагражденные почетным знаком ВШЭЛауреаты премии “Золотая Вышка”Награжденные медалями ВШЭОтмеченные почетными грамотами университета

Научные интересы

сбросить фильтры

Научные интересы: «сети Петри»

ФИО и должность

Контакты

22498

Артамонов Кирилл Андреевич

Стажер-исследователь: Факультет компьютерных наук / Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)

сети Петри объектно-ориентированное программирование

+7 (495) 772-9590 *22030

Дворянский Леонид Владимирович

Старший преподаватель: Факультет компьютерных наук / Департамент программной инженерии
Научный сотрудник: Факультет компьютерных наук / Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)

теория множеств правильные квазипорядки вполне структурированные системы переходов сети Петри вложенные сети Петри временные сети Петри 27.03.15 Основания математики 27.03.19 Математическая логика 50.05.00 Теоретические основы программирования

+7(495) 772-9590
,

Захаров Владимир Анатольевич

Ведущий научный сотрудник: Факультет компьютерных наук / Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)

прикладная математическая логика теория алгоритмов теория автоматов верификация моделей программ сети Петри обфускация программ гомоморфное шифрование программно конфигурируемые сети

+7(495) 772-9590 доб. 22497

Каленкова Анна Алексеевна

Доцент: Факультет компьютерных наук / Департамент программной инженерии
Старший научный сотрудник: Факультет компьютерных наук / Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)

Анализ и моделирование бизнес процессов математическая логика теория графов сети Петри теория множеств теория сложности вычислений сети Петри со свободным выбором

+7 (495) 772-9590 доб. 15194

Кулагин Владимир Петрович

Профессор: Московский институт электроники и математики им. А.Н. Тихонова / Департамент электронной инженерии

прикладные космические исследования сети Петри геознание

+7(495) 772-9590 доб. 22500

Ломазова Ирина Александровна

Профессор: Факультет компьютерных наук / Департамент программной инженерии
Заведующий лабораторией: Факультет компьютерных наук / Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)

Анализ и моделирование бизнес процессов сети Петри вложенные сети Петри процессно-ориентированные информационные системы формальные модели распределенных систем 28.25.19 Абстрактные машины 50.05.00 Теоретические основы программирования 50.07.03 Теория и моделирование вычислительных сред, систем, комплексов и сетей

+7(495) 772-9590 доб. 22498

Мицюк Алексей Александрович

Научный сотрудник: Факультет компьютерных наук / Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)
Старший преподаватель: Факультет компьютерных наук / Департамент программной инженерии

алгоритмы архитектура информационных систем сети Петри программная архитектура Извлечение и анализ процессов анализ данных визуализация данных проектирование пользовательских интерфейсов

+7(495) 772-9590 доб. 22498
,

Нестеров Роман Александрович

Стажер-исследователь: Факультет компьютерных наук / Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)
аспирант: Факультет компьютерных наук / Департамент программной инженерии

сети Петри мультиагентные системы распределенные системы моделирование и анализ бизнес-процессов формальные методы теория категорий Process Discovery 27.17.25 Категории 28.25.19 Абстрактные машины 50.07.03 Теория и моделирование вычислительных сред, систем, комплексов и сетей