Scientific Interests: «Mathematical Logic and Formal Languages»Units
Name and Position
Contacts
+7 (495) 772-95-90
27305
27305
Kuznetsov, Stepan
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