Simulation and analysis of computational processes

Turing, Post, Minsky machines, Markov algorithms, Kleene recursive functions were invented in the first half of the twentieth century as a result of attempts to formalize the concept of an algorithm. These mathematical models are still successfully used to solve problems of solvability and algorithmic complexity, but are useless for modeling the behavior of network protocols or components of the operating system. The report presents some modern approaches to modeling computations that are used in the industry in the development of complex information systems.



A lecture in March last year was given by Rostislav Yavorsky , Associate Professor of the Department of Data Analysis and Artificial Intelligence, at the Faculty of Computer Science. At the faculty, Rostislav Eduardovich conducts the courses “Introduction to Programming”, “ Computer Algebra ”, “ Non-Classical Logic and Knowledge Representation ”.

At the Faculty of Computer Science, which opened at HSE with the support of Yandex, in addition to classes for students, there are special seminars that everyone can attend. They are held in the framework of the HSE Colloquium of the Faculty of Computer Science. The seminars are conducted by scientists not only from HSE, but from other universities and research centers - Moscow State University, MIPT, the Mathematical Institute and the Institute of Systems Analysis of the Russian Academy of Sciences, MIT, Microsoft Research, the Yandex Data Analysis School. Come to listen to them can not only a student or employee of the FKN, but anyone. We publish records of selected speeches. Find all past colloquiums here . By the same link you can sign up for future classes when the new school year begins.