The department of theoretical information science was created in 1986 simultaneously with the creation of the faculty of information and computer science (ICS) in the YaSU; however, it was called the department of system programming up to 1993. The department directly participated in the research on the development of system software within the project of creating a Russian supercomputer.

The department participates in the realization of a multi-level system of training specialists at the faculty of information and computer science. It graduates students specializing in Fundamental Information Science and Information Technologies (Bachelor’s and Master’s programs), participates in the training of Bachelors and Masters in Applied Mathematics and Information Science and Applied Information Science (in economy).

Nowadays, the department of theoretical information science aims at training specialists in the field of information technologies development and mathematic support, investigation and operation of computing and program complexes including telecommunication systems of a new generation – programmatically configurable networks.

The main areas in the general topic of research conducted in the department and united under a common name Modeling and Analysis of Information Systems are as follows:

• formal-logic models of distributed systems, their analysis and verification;

• modeling, analysis and verification of data transmitting protocols in information networks;

• programmatically configurable networks including movable object networks;

• algorithms and program means of information processing;

• probability models of calculating processes and systems;

• discrete optimization and databases.