Saint Petersburg, 199178, Russia, Line 14th (Vasilyevsky Island), 29
(812) 363-68-71, (812) 363-68-72
ru en
Vitaly N. Bragilevsky
Vitaly N. Bragilevsky
Senior teacher
Contacts:

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

vitaly.bragilevsky@jetbrains.com

Reception hours:

By appointment


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

See. My web-site .