Разработчик software с более чем тридцатилетним стажем. Работал в МГУ, в технологических институтах Цюриха (ETH) и Лозанны (EPFL), а также в различных компаниях в России и за рубежом. В настоящее время профессор университета Иннополис. Автор большого числа публикаций и нескольких книг по программированию.
Сфера профессиональных интересов – семантика языков программирования, проектирование и реализация компиляторов ЯП и других языко-ориентированных инструментов. Среди наиболее значимых достижений – участие в таких проектах, как создание компилятора полного стандарта языка С++ (компания Интерстрон, Москва, 2000), реализация компилятора языка Zonnon для .NET (ETH Zurich, 2005), реализация прототипа компилятора Swift для платформы Tizen (Samsung Research Institute, Москва, 2015).