A.P. Ershov Institute of Informatics Systems of SB RAS

IIS was nominally inaugurated in April 1990. However, it has a long history of reincarnation which started in 1958 when the Department of Programming was organized at the Institute of Mathematics in Novosibirsk and the late Academician Andrei P.~Ershov was appointed to be its head. The first project of the Department was a design and implementation of the Algol-like algorithmic language ALPHA.

In 1964 the Department was transferred to the newly organized Computing Center headed by Academician Gury I.Marchuk, former (and the last) President of the USSR Academy of Sciences. During the 60's and 70's the Department was growing, extending research areas from the compiler design to broader aspects of system programming, theoretical computer science, artificial intelligence and experimental computer architectures. As a result, the Siberian school of the system and theoretical programming has been formed. Now this school has leading positions in many research areas.

In the 80's experimental and application projects aimed at the validation and implementation of previously developed theoretical concepts and methods were initiated. These projects were related to modern problems of concurrent programming languages, program verification and synthesis, program optimization, new computer architecture and VLSI design.

Now the work performed in the A. P. Ershov Institute of Informatics Systems SD RAS covers each of the following research areas:

- fundamental problems of informatics (theoretical programming, applied logic, methods of complex system specification, etc.);

- models of program construction and the supporting software tools;

- AI and applied programming systems;

- computer architecture, telecommunication systems, embedded systems.

Webmaster Mail to Webmaster