Леонид Меркин
прикладной математик, Computer Scientist и C++ гуру. Doctor of Mathematics (TU Delft, The Netherlands, 1997). В 2020-22 гг -- научный руководитель проекта InnoChain по созданию первой в мире формально-верифицированной системы распределенного реестра. В наст.вр. -- профессор Департамента информатики НИУ ВШЭ в Санкт-Петербурге, а также исполнительный директор в Департаменте Глобальных Рынков Центрального Аппарата ПАО "Сбербанк". Основные области деятельности -- стохастический анализ, численные методы, теория типов, формальная верификация ПО, высоконадежные системы реального времени, современные стандарты языка C++.
Современный C++ для высоконадежных вычислений и систем реального времени