Vadim Vinnik

Technical lead developer, Ph.D. in physical and mathematical sciences, author of books and scientific publications on theory of programming; translator of books on programming; university lecturer on programming and some supporting areas of mathematics. Favourite programming languages: C++ and Haskell.