Математик-программист, с 2014-года читает лекции "Методология Agile-разработки на основе теории категорий" публично и в компаниях. Основатель компании Viete, которая разрабатывает редактор на основе теории категорий для IT-разработки.