Информатика и программирование
- Антонов К.В. (науч. рук. Трофимюк Г.А., Семёнов А.А.) Применение решателей проблемы sat к синтезу кодов, исправляющих ошибки
- Баздикян А.Г. (науч. рук. Трифанов А.И., Гилев П.А.) Программная реализация системы для грима данных
- Баранов В.Г., Кореньков Ю.Д. (науч. рук. Кореньков Ю.Д.) Поддежка пользовательских типов данных для языка amber на основе интерпретатора shell-скриптов
- Боровкова В.Д. (науч. рук. Горяинов А.Е.) Реализация экспорта моделей свч-компонентов с использованием api сапр keysight ads
- Воробьев Я.С., Бачище О.И. (науч. рук. Григорьев С.В.) Анализ качества восстановления после ошибок в синтаксических анализаторах
- Вороненко А.А. (науч. рук. Клюева Н.А.) Разработка iot-платформы для экологического мониторинга населенных пунктов с вредным производством
- Жуков П.Ю. (науч. рук. Зубаков А.Н.) Разработка абстрагирующего слоя и механизма кэширования для инструмента тестирования программного обеспечения на базе спецификации openapi
- Зарубин В.А., Дмитрийчук Д.И. (науч. рук. Демин А.Ю.) Декомпозиция сервиса кредитного скоринга с применением микросервисной архитектуры
- Зинкевич Н.С. (науч. рук. Пономарев В.А.) Разработка репутационной системы для одноранговой системы хранения данных с использованием технологии распределённого реестра
- Капелюшок Г.А. (науч. рук. Харитонов А.Ю.) Разработка эффективной блокчейн подсистемы для децентрализованной биржи на ton
- Ковалёв А.А. (науч. рук. Павлий В.А.) Разработка информационно-аналитической системы автоматического трейдинга для реализации финансовых стратегий
- Ковалевский В.М., Кечин В.В. (науч. рук. Ицыксон В.М.) Разработка инструмента дифференциального мутационного фаззинга файловых систем diffuzzer
- Коротченко Д.С. (науч. рук. Аксенов В.Е.) Универсальный механизм коллаборативных операций для многопоточных структур данных на языке java
- Кузиванов Д.О. (науч. рук. Меженин А.В.) Модель визуализации траектории движения в среде unity 3d
- Кузнецов В.В. (науч. рук. Давыдова Е.В.) Разработка программы автоматизированного тестирования состояния серверов на базе протокола redfish
- Мирошников Е.В. (науч. рук. Курилов Ф.К.) Метапрограммирование
- Новиков В.П. (науч. рук. Лебедев В.П.) Разработка программного комплекса для обеспечения автономного полета бпла на базе ardupilot
- Обляшевский С.А. (науч. рук. Логинов И.П.) Разработка средства оптимизации процесса тестирования межузлового взаимодействия в сетях lte
- Рахмани А.Н. (науч. рук. Харитонов А.Ю.) Создание технологии безопасного и удобного перевода стабильной криптовалюты "стейблкоин" между разными блокчейнами, используя умные алгоритмы для автоматического выполнения запросов пользователей
- Семенов Г.В. (науч. рук. Грищенко В.С.) Pure op-based replicated list with cardinality constraints
- Семисалов Д.В. (науч. рук. Зубаков А.Н.) Исследование методов и разработка решения для повышения отказоустойчивости высоконагруженных it-систем с использование fallback cache
- Скаженик Т.М. (науч. рук. Аксенов В.Е.) Исследование эффективности примитивов синхронизации в системах с различной реализацией легких потоков
- Филиппов А.А. (науч. рук. Харитонов А.Ю.) Статический подход к визуализации взаимодействия микросервисов и инфраструктурных компонентов
- Хакимов Р.В. (науч. рук. Панчук М.К.) Исследование технологий паравиртуализации устройств, разработка решения для паравиртуализации блочного и файлового устройств.
- Черкашин Н.К. (науч. рук. Аксенов В.Е.) Разработка методов верификации корректности rpc протокола
- Щербакова Е.Д. (науч. рук. Кривоносова Н.В.) Применение методов стеганографии при осуществлении противоправных действий
- Щурцов Ф.Е. (науч. рук. Лукин М.А.) Реализация метода расширенной позиционной динамики для симуляции физики тканей в игровых приложениях
- Яковлева Е.С. (науч. рук. Лысенко А.В.) Управляемые сценарии моделирования пользователей для симуляторов взаимодействий с рекомендательными системами