E-mail:
Keywords: Институт Системного Программирования РАН (109004, Москва, ул. Б.Коммунистическая, д.25), м.н.с.

Publications in Math-Net.Ru

Personal pages:

• 
• 
• 

Organisations:

• National Research University Higher School of Economics, Moscow
• Ivannikov Institute for System Programming of the RAS
• Lomonosov Moscow State University