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

Уровень: 3 курс, Бакалаврская ВКР, Магистерская ВКР

Источник темы: Кафедра системного программирования СПбГУ

Руководитель: Григорьев Семен Вячеславович

Руководитель ВКР: Григорьев Семен Вячеславович

Консультант: Grigorev Semyon

Алгоритм достижимости с ограничениями в виде многокомпонентных контекстно-свободных грамматик
Image placeholder

Уровень: 3 курс, Бакалаврская ВКР, Магистерская ВКР

Источник темы: Кафедра системного программирования СПбГУ

Руководитель: Григорьев Семен Вячеславович

Руководитель ВКР: Григорьев Семен Вячеславович

Консультант: Grigorev Semyon

Аппроксимация достижимости с ограничениями в виде шафла языков Дика с использованием алгоритмов на основе GLL
Image placeholder

Уровень: 3 курс, Бакалаврская ВКР, Магистерская ВКР

Источник темы: Кафедра системного программирования СПбГУ

Руководитель: Григорьев Семен Вячеславович

Руководитель ВКР: Григорьев Семен Вячеславович

Консультант: Grigorev Semyon

Компилятор функционального языка программирования
Image placeholder

Уровень: 2 курс, 3 курс, Бакалаврская ВКР

Источник темы: Кафедра системного программирования СПбГУ

Руководитель: Григорьев Семен Вячеславович

Руководитель ВКР: Григорьев Семен Вячеславович

Консультант: Grigorev Semyon

Реализация взаимодействия с устройством на ПЛИС через PCI
Image placeholder

Уровень: 2 курс, 3 курс

Источник темы: Кафедра системного программирования СПбГУ

Руководитель: Григорьев Семен Вячеславович

Консультант: Grigorev Semyon

Реализация взаимодействия вычислителя на ПЛИС с внешней памятью (ram)
Image placeholder

Уровень: 2 курс, 3 курс

Источник темы: Кафедра системного программирования СПбГУ

Руководитель: Григорьев Семен Вячеславович

Консультант: Grigorev Semyon

Алгоритм проверки пустоты пересечения множества автоматов на основе линейной алгебры
Image placeholder

Уровень: 2 курс, 3 курс, Бакалаврская ВКР

Источник темы: Кафедра системного программирования СПбГУ

Руководитель: Григорьев Семен Вячеславович

Руководитель ВКР: Григорьев Семен Вячеславович

Консультант: Grigorev Semyon

Визуализация процесса редукции сетей взаимодейстаия
Image placeholder

Уровень: Бакалаврская ВКР, Магистерская ВКР

Источник темы: Кафедра системного программирования СПбГУ

Руководитель: Григорьев Семен Вячеславович

Руководитель ВКР: Григорьев Семен Вячеславович

Консультант: Grigorev Semyon

Интеграция алгоритма выполнения запросов с ограничениями в виде регулярных языков в графовую базу данных FalkorDB
Image placeholder

Уровень: Бакалаврская ВКР

Источник темы: Кафедра системного программирования СПбГУ

Руководитель: Григорьев Семен Вячеславович

Руководитель ВКР: Григорьев Семен Вячеславович

Консультант: Grigorev Semyon

Добавление неидеальных данных в набор для обучения агента, управляющего символьной машиной
Image placeholder

Уровень: Бакалаврская ВКР, Магистерская ВКР

Источник темы: Кафедра системного программирования СПбГУ

Руководитель: Григорьев Семен Вячеславович

Руководитель ВКР: Григорьев Семен Вячеславович

Консультант: Grigorev Semyon