Program Analysis and Transformation Group
(Группа методов анализа и преобразования программ)

Home pages:

• Sergei A. Grechanik (Сергей Александрович Гречаник)
• Andrei V. Klimov (Андрей Валентинович Климов)
• Yuri A. Klimov (Юрий Андреевич Климов)
• Ilya G. Klyuchnikov (Илья Григорьевич Ключников)
• Anton Yu. Orlov (Антон Юрьевич Орлов)
• Sergei A. Romanenko (Сергей Анатольевич Романенко)
• Alexander V. Slesarenko (Александр Владимирович Слесаренко)