![](/f/src/global/i/gypsum/book.png)
Scientific Interests: «Formal Methods in Software Engineering»Units
Name and Position
Contacts
27297
Associate Professor: Faculty of Computer Science / Joint Department with the RAS Institute for System Programming