Размер шрифта

A
A

Межстрочный интервал

A
A

Цвет

A
A

Брагилевский Виталий Николаевич

Кафедра информатики и вычислительного эксперимента - Старший преподаватель

Мильчакова, 8А, а. 203.

E-mail:
Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript
Персональная страница:
https://sfedu.ru/person/bravit
Персональная страница на английском:
https://sfedu.ru/en/person/bravit

Образование и повышение квалификации:

  • высшее образование: Ростовский государственный университет (01.09.1997 - 30.06.2003)
    Прикладная математика и информатика
    Бакалавр, магистр

Дата начала общего стажа: 01.07.2003

Преподаваемые дисциплины:

  • Функциональное программирование
    Основные концепции функционального программирования, программирование на языке Haskell.
  • Теория алгоритмов
    Курс теории алгоритмов в бакалавриате ФИИТ представляет собой введение в проблематику формальных моделей вычисления, теории вычислимости, теории сложности.
  • Data Visualization
    Data Visualization is a discipline devoted to common approaches to visualization data in Python (Pandas, matplotlib) and Javascript (d3).

Дополнительная информация:

Год и место рождения: 1981, гор. Каратау, Казахская ССР.

Учебная деятельность: чтение учебных дисциплин, ведение практикумов, руководство курсовыми и выпускными работами.

Внеучебная деятельность

  • разработка и сопровождение учебных планов бакалавриата и магистратуры по направлению "Фундаментальная информатика и информационные технологии";
  • курирование программ сотрудничества с Apple Inc, Amazon.com Inc;
  • администрирование портала учебных курсов edu.mmcs.sfedu.ru и серверов дисплейных классов ИММиКН.

Издательская деятельность

  • М. Липовача. Изучай Хаскель во имя добра. М.: ДМК Пресс, 2012 (редактирование перевода).
  • Ж. Довек и Ж.-Ж. Леви. Введение в теорию языков программирования. М.: ДМК Пресс, 2013 (перевод, совместно с А.М. Пеленицыным).
  • Р. Бёрд. Жемчужины проектирования функциональных алгоритмов. М.: ДМК Пресс, 2013 (перевод, совместно с А.М. Пеленицыным).
  • С. Марлоу. Параллельное и конкурентное программирование на языке Haskell. М.: ДМК Пресс, 2014 (перевод).
  • К. Окасаки. Чисто функциональные структуры данных. М.: ДМК Пресс, 2016 (редактирование перевода).

Общественная и профессиональная деятельность

  • членство в комитете по разработке стандарта языка программирования Haskell 2020.

Научные интересы

  • Теория языков программирования
  • Формальные методы в программировании
  • Функциональные языки программирования

Основные публикации

  1. Аналог теоремы И.Б. Симоненко об огибающем операторе для операторов в пространствах векторнозначных функций // Известия вузов. Северокавказский регион. Серия естественных наук. 2005. N4. С. 3;8 (соавтор Пилиди В.С.).
  2. Пределы выразительности свёрток // Практика функционального программирования. 2010. N4. 

Учебно-методические ресурсы