| A.P. Ershov Institute of Informatics Systems, Sibirisk afdeling af Det Russiske Videnskabsakademi ( ISI SB RAS ) | |
|---|---|
| internationalt navn | AP Ershov Institute of Informatics Systems |
| Grundlagt | 1990 |
| Direktør | d.p.m.s. A.Yu. Palyanov |
| Beliggenhed | Rusland ,Novosibirsk |
| Juridisk adresse | 630090, Novosibirsk, Akademika Lavrentiev Ave. , 6 |
| Internet side | iis.nsk.su |
A.P. Ershov Institute of Informatics Systems of the Siberian Branch of the Russian Academy of Sciences er et forskningsinstitut fra den sibiriske afdeling af det russiske videnskabsakademi , grundlagt i 1990. Beliggende i Novosibirsk [1] .
De vigtigste retninger for instituttets videnskabelige forskning er det teoretiske og metodiske grundlag for skabelsen af informatiksystemer, herunder:
Instituttet begyndte sin historie i 1958 , da programmeringsafdelingen ledet af Andrey Petrovich Ershov blev oprettet ved Institut for Matematik i den sibiriske gren af USSR Academy of Sciences . I 1964 blev programmeringsafdelingen overført til computercentret for den sibiriske gren af USSR Academy of Sciences organiseret på det tidspunkt. Treserne og halvfjerdserne var tiden for instituttets vækst og udvidelsen af den videnskabelige forskning. I interessekredsen for A.P. Ershov, hans kolleger og studerende inkluderede, ud over udviklingen af compilere, mange andre problemer med system- og teoretisk programmering, problemer med kunstig intelligens, eksperimenter inden for computerarkitektur. Således blev den sibiriske skole for system og teoretisk programmering oprettet, som indtager fremtrædende positioner inden for mange områder af videnskabelig forskning. Institute of Informatics Systems blev etableret i 1990 på baggrund af et team ledet af A.P. Ershov, i overensstemmelse med ordre fra Ministerrådet i USSR dateret 10. november 1989. I 1995 blev ISI SB RAS opkaldt efter akademiker A.P. Ershov. I september 1997 sluttede ISI SB RAS sig til Joint Institute of Informatics af den sibiriske gren af det russiske videnskabsakademi. I 1998, i overensstemmelse med den føderale lov "On Science and State Scientific and Technical Policy", Institute of Informatics Systems. A.P. Ershov SB RAS modtog statsakkreditering fra Ministeriet for Videnskab og Teknologi i Den Russiske Føderation som forskningsinstitution.