Фамилия, Имя, Отчество
Пеленицын Артём Михайлович
Ученая степень, звание и должность, включая название кафедры
ассистент кафедры информатики и вычислительного эксперимента
Контактная информация (сайт, адрес электронной почты)
mmcs.sfedu.ru/~ulysses / apel@sfedu.ru.
Предлагаемая тематика
Прикладное функциональное программирование (Haskell, Idris, Scala, C++17) и теория типов.
Примеры тем работ, выполненных студентами под руководством данного сотрудника
- Многочлены многих переменных в языке Haskell,
- Язык квантовых вычислений Quipper,
- Применение монад языка Haskell для моделирования игр,
- Метапрограммная реализация арифметики в простых конечных полях и их расширениях,
- Система вывода в линейной логике с реализацией на языке Haskell,
- Функциональный парсер легковесного языка разметки Markdown на основе комбинирования монад и моноидального представления исходного текста.
С материалами работ можно ознакомиться по ссылке.