![](/f/src/global/i/gypsum/book.png)
Scientific Interests: «Mathematical Logic and Formal Languages»Units
Name and Position
Contacts
+7 (495) 772-95-90
27305
27305
Senior Research Fellow:
Faculty of Computer Science
/
International Laboratory for Intelligent Systems and Structural Analysis
Associate Professor:
Faculty of Computer Science
/
Joint FCS Department with RAS Steklov Mathematical Institute