Павел более 15 лет занимается разработкой оптимизирующих компиляторов, виртуальных машин и сред исполнения. Главный объект приложения сил на протяжении всего этого времени: Excelsior JET - JVM со статической компиляцией, разрабатываемая компанией Excelsior.
Помимо основного рода деятельности, время от времени выполняет работы в других проектах, большая часть из которых так или иначе связана с системным программированием. Среди них:
- Разработка библиотеки математических примитивов на VAX-ассемблере для бортового ПО спутников производства НПО ПМ. Около десяти лет этот код работает на орбите, обеспечивая базу для навигационных расчётов системы ГЛОНАСС.
- Разработка одной из ключевых компонент (specialized high-performance DB engine) для автоматической системы контроля параметров колёс ж/д вагонов.
- Различные компиляторы, source-to-source трансляторы, разработка API/компонент для middleware/data processing systems и прочее.
Занимается обучением разработчиков и подготовкой молодых специалистов внутри компании, осуществляет научное руководство студентами (ММФ НГУ, АФТИ ФФ НГУ).
Научные и профессиональные интересы включают в себя вопросы дизайна и реализации языков программирования, системное программирование, concurrent & parallel programming, functional programming.
