In Russian Main Authorization Organization list Search:  Employees Organizations IIS SB RAS

SB RAS Instituties and Employees

A.P. Ershov Institute of Informatics Systems of the Siberian Branch of the RAS

The main science trends

  • foundations of informatics (specification and verification techniques, concurrency theory, applied logic, etc.);
  • theory and methodology for constructing efficient and reliable programs and systems;
  • methods and systems of artificial intelligence;
  • information technologies (knowledge-based systems, information systems, telecommunication systems, embedded systems).
 © 1996-2024, Siberian Branch of Russian Academy of Sciences