SPbU | Department of Mathematics and Computer Science

$Vitaly N. Bragilevsky$

Vitaly N. Bragilevsky

Senior teacher

29 Line 14th (Vasilyevsky Island), 199178 Saint Petersburg, Russia

By appointment

06.2003 — M.Sc. in Applied Mathematics and Computer Science
Место защиты: Rostov State University

06.2001 — B.Sc. in Applied Mathematics and Computer Science
Место защиты: Rostov State University

2019 — until now JetBrains, SPb State University, department of mathematics and computer science

2003 – 2019 South Federal University, Institute of Mathematics, Mechanics and Computer Science

Theory of programming languages, Haskell programming language, software verification.

Vitaly Bragilevsky. Haskell in Depth. Manning Publications, 2020.