Департамент программной инженерии

АБB
АБB
АБB

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

Департамент программной инженерии был создан в 2014 году на базе отделения программной инженерии. В департаменте ведутся исследования по различным современным научным направлениям, в число которых входят: анализ и моделирование бизнес процессов, математическое моделирование, машинное обучение и искусственный интеллект, нечеткая логика, процессно-ориентированные информационные системы.

Публикации

Книга

Операционная система Linux. Дистрибьюция программного обеспечения

Силаков Д. В.

Юрайт, 2025.

Статья

DPN Verifier: A Toolkit for Faster Soundness Verification and Repair of Process Models with Data

Suvorov N. M.

Proceedings of the Institute for System Programming of the RAS. 2026. Vol. 38. No. 3(2). P. 49-66.

Глава в книге

Scaling Up Molecular Hydrodynamics of Non-Laminar Flows with GPU-Aware MPI

Khnkoian G., Galigerov V., Grishichkin Y. et al.

In bk.: Parallel Computational Technologies, 19th International Conference, PCT 2025, Moscow, Russia, April 8–10, 2025, Revised Selected Papers. (CCIS, volume 2891). Vol. 2891. Springer, 2026. P. 532-545.

Препринт

Approach to Designing CV Systems for Medical Applications: Data, Architecture and AI
В печати

Ryabtsev D., Vasilyev Boris, Shershakov S.

Computer Science ::Computer Vision and Pattern Recognition. 2501.14689. arXiv, 2025

Все публикации

Лучший по критерию «Новизна полученных знаний»

Кто читает:: Департамент программной инженерии

Статус:: Курс по выбору

Когда читается:: 3-й курс, 1, 2 модуль

Преподаватель

Лебедев Виктор Аркадьевич

Дополнительные материалы в LMS Задать вопрос

Аннотация

Курс «Проектирование и разработка смарт-контрактов для блокчейн платформ» направлен на повышение прикладных навыков проектирования, разработки и аудита смарт-контрактов. В рамках курса даётся теоретическая информация в объеме, необходимом для разработки смарт-контрактов.

Цель освоения дисциплины

Освоение методов проектирования и разработки смарт-контрактов для блокчейн платформ
Формирование у студентов профессиональных компетенций, необходимых для принятия обоснованных решений при проектировании смарт-контрактов
Научиться программировать смарт-контракты
Освоение специализированного программного обеспечения для проектирования и разработки смарт-контрактов

Планируемые результаты обучения

Умение создавать смарт-контракты для одной или нескольких рассматриваемых блокчейн платформ
Создание своего проекта с прикладным назначением для одной из блокчейн платформ

Содержание учебной дисциплины

Введение в блокчейн
Архитектура блокчейна
Криптография
Консенсусы в распределенных средах
Виртуальные машины
Платформы. Введение и сравнение
Платформа Ethereum
Платформа Solana
Платформа NEAR
Платформа Polkadot
Платформа TON
Платформа WAVES
Конфиденциальность
Совместимость
Безопасность смарт-контрактов
Взаимодействие со смарт-контрактами
Внеблокчейновая информация

Элементы контроля

Тесты
Активность
Количество тематических вопросов и участие в целевом общении в группах
Домашнее задание
Глубина ответов на контрольные вопросы; Создание и оформление кода в репозитории
Проект
Выступление с презентацией; Проработка рыночной перспективы; Создание прототипа

Промежуточная аттестация

2022/2023 учебный год 2 модуль
0.3 * Тесты + 0.1 * Активность + 0.3 * Домашнее задание + 0.3 * Проект

Список литературы

Авторы

Петрухина Анастасия Сергеевна

Проектирование и разработка смарт-контрактов для блокчейн платформ