• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

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

ФИО студента: Карпышев Сергей Вадимович

Руководитель: Соколов Павел Павлович

Кампус/факультет: Факультет компьютерных наук

Программа: Прикладная математика и информатика (Бакалавриат)

Оценка: 8

Год защиты: 2024

Проблема верификации результатов всегда была актуальной для научных исследований. Современные языки программирования, такие как Lean, Idris, Coq и так далее, предоставляют возможность доказательства логической корректности приведённых доказательств теорем, однако сложные вычисления могут быть трудной задачей для подобных инструментов. Существуют также более низкоуровневые языки программирования, такие как Scala, которые предоставляют чуть больше возможностей для вычислений за счёт уменьшения гарантий. Наша цель - найти компромиссное решение, которое позволит иметь широкие вычислительные возможности наряду с сильными доказательствами корректности. Идея заключается в использовании функционального подхода на основе λ-исчисления на стадии фронт-энда одновременно с эффективными низкоуровневыми вычислениями на фазе бэкэнда.

Текст работы (работа добавлена 20 мая 2024 г.)

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Реестр дипломов НИУ ВШЭ