Максим Эротеевич Сохацкий

Максим Сохацкий

укр. Сохацький Максим Еротейович

Дата рождения

26 ноября 1980 года

Место рождения

Каменец-Подольский,
Хмельницкая область,
Украинская ССР, СССР

Гражданство

СССР → Украина

Отец

Сохацкий Эротей Григорьевич

Мать

Сохацкая Евгения Ивановна

Сайт

[1]

Максим Эротеевич Сохацкий (известен как Namdak Tonpa; род. 1980) — создатель популярных фрэймворков, входит в топ-20 программистов на платформе Github, математик, программист, занимается формальной философией, борется с технологической коррупцией в IT. Буддист, директор религиозной организации. Aвтор платформы с открытым исходным кодом для автоматизации предприятий ERP.UNO, автор подкастов о философии, математике, программировании.

Биография

Сохацкий Максим Эротеевич родился 26 ноября 1980 года в городе Каменец-Подольский, Хмельницкой области Украины в семье потомственных учителей. Мама — Сохацкая Евгения Ивановна (в девичестве Товстяк) украинский литературовед, общественный деятель. Отец  — Сохацкий Эротей Григорьевич, преподаватель музыки в университете, скрипач.

Образование

Закончил в 1998 году Каменец-Подольский частный академический лицей «Антей», Хмельницкой области и награждён золотой медалью «За особые успехи в учёбе». Начиная с 5-го класса увлёкся программированием в общеобразовательной СШ № 5 г. Каменец-Подольского в рамках кружка младших классов Владимира Вишневского. В 9-м классе принял участие в республиканской олимпиаде (тренер — заслуженный преподаватель Украины Сергей Савчук).

В 2005 году окончил Национальный технический университет Украины «Киевский политехнический институт» и получил полное высшее образование по специальности «Прикладная математика». Диплом магистра прикладной математики на тему «Система управления бизнес-процессами». Осенью 2016 года поступил в аспирантуру на факультет Прикладной математики в НТУУ «КПИ имени Игоря Сикорского» и слушал курсы лекций в университетах CMU (США) и VU (Нидерланды). Диссертация посвящена концептуальным моделям систем доказательств теорем на основе гомотопической теории типов. Разработал курс для студентов.

Карьера

Первым трудоустройством по специальности была международная компания International Land Systems, Inc. (Thomson Reuters). Разработка системы документооборота британского типа для Ямайки, Армении, Азербайджана, Египта.

В Украине Максим Сохацкий известен как автор «Депозитов» государственной компании ПриватБанк и Системы документооборота МІА:Документообіг государственной компании ИНФОТЕХ

Упоминания в прессе

• Хобби, которое приносит деньги: опыт программиста
• Пема Дудул (Сергій Дудко). Псевдобуддизм
• Між правдою та брехнею. 6 популярних міфів про державні IT-компанії

Публикации

• Сердечная сущность обширного пространства Великого Завершения. Великолепный путь к всеведению: предварительные практики (переводчик); ISBN 978-1-62540-054-3
• Сборник Практик Лонгчен Ньингтик; ISBN 978-1-62540-055-0
• No Bullshit Web Framework for Wild Web; ISBN 978-1-62540-038-3
• Business Processing for Enterprise Done Right; ISBN 978-1-62540-052-9
• Issue I: Internalizing Martin-Löf Type Theory; DOI 10.13140/RG.2.2.12412.39040
• Issue VIII: Formal Topos on Category of Sets; DOI 10.13140/RG.2.2.32545.04968
• Constructive Proofs of Heterogeneous Equalities in Cubical Type Theory: Proceedings of the XVIII International Conference on Data Science and Intelligent Analysis of Information, June 4-7, 2018, Kyiv, Ukraine; ISBN 978-3-319-97885-7
• The Systems Engineering of Consistent Pure Language with Effect Type System for Certified Applications and Higher Languages; DOI 10.1063/1.5045439

Ссылки

• Namdak Tonpa
• Namdak Tonpa
• Namdak Tonpa