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.
vitaly.bragilevsky@jetbrains.com
See. My web-site .