29 Line 14th (Vasilyevsky Island), 199178 Saint Petersburg, Russia
vitaly.bragilevsky@jetbrains.com
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.
See. My web-site .