Education

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

Scientific interests

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

Selected publications

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

Additional Information

vitaly.bragilevsky@jetbrains.com

See. My web-site .