Font size

A
A

Line height

A
A

Color

A
A

Vitaly Bragilevsky 

Senior lecturer

Institute of Mathematics, Mechanics, and Computer Science named after of I.I. Vorovich

E-mail:
Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript

Research interests:

  • Programming languages theory
  • Formal methods in programming
  • Functional programming languages (Haskell, Idris)

Research projects:

Book: Haskell in Depth (Manning Publications).

Courses outside SFedU

Teaching:

  • Functional Programming (Haskell)
  • Theory of Computation
  • Data Visualization
  • Theory of programming languages