Skip to main content

Scientific conference «Lomonosov Readings - 2020» (section of computational mathematics and cybernetics, Department of System Programming)

Faculty of Computational Mathematics and Cybernetics


April 15, Wednesday, 10.00
Department of System Programming
II educational building, 6th floor, aud. 685
1 Improving the accuracy of tagged data analysis using symbolic calculations.
Report by Ignatiev V.N. (senior lecturer), Koryabkin D.A. (student, 2nd course of magistracy) and Shimchik N.V. (3rd year graduate student, ISP RAS)
2 Building a path predicate as a task of abstract interpretation of a binary code.
Report by Soloviev M.A. (senior lecturer), Manushin D.V. (2nd year graduate student), Papazyan E.Yu. (student, 4th year) and Makarov S.S. (student, 3rd year)
3 A system for deploying distributed services in a cloud environment.
Report by Korukhova L.S. (associate professor), Borisenko O.D. (researcher, ISP RAS) and Aksenova E.L. (2nd year graduate student)
4 Prediction of the type of occupation of users of a social network.
Report by Gomzin A.G. (assistant)
5 Optimization of noise selection in the ERGG algorithm to ensure graph variability.
Report by Turdakov D.Yu. (associate professor), Portnoy A.M. (student, 2nd course of magistracy) and Drobyshevsky M.D. (research trainee)
6 Analysis of users of multiplayer online games.
Report by Turdakov D.Yu. (associate professor) and Stroev V.I. (student, 2nd course of magistracy)
7 Development of methods for classifying network traffic based on machine learning.
Report by Get′man A.I. (assistant) and Ikonnikova M.K. (1st year graduate student, ISP RAS)
8 Search for overflow errors of arrays with unknown size in C programs.
Report by Belevantsev A.A. (professor), Goremykin A.V. (student, 1st course of magistracy) and Borodin A.E. (senior researcher, ISP RAS)
9 A method of reusing abstractions in static analysis based on a global set of attainable states.
Report by Khoroshilov A.V. (associate professor), Karpov M.E. (student, 2nd course of magistracy) and Andrianov P.S. (junior researcher, ISP RAS)