A.P. Ershov Institute of Informatics Systems, Siberian Branch of Russian Academy of Sciences ( ISI SB RAS ) | |
---|---|
internationell titel | AP Ershov Institute of Informatics Systems |
Grundad | 1990 |
Direktör | d.p.m.s. A.Yu. Palyanov |
Plats | Ryssland ,Novosibirsk |
Laglig adress | 630090, Novosibirsk, Akademika Lavrentiev Ave. , 6 |
Hemsida | iis.nsk.su |
A.P. Ershov Institute of Informatics Systems av den sibiriska grenen av den ryska vetenskapsakademin är ett forskningsinstitut för den sibiriska grenen av den ryska vetenskapsakademin , grundat 1990. Beläget i Novosibirsk [1] .
Huvudinriktningarna för institutets vetenskapliga forskning är de teoretiska och metodologiska grunderna för skapandet av informatiksystem, inklusive:
Institutet började sin historia 1958 , när programmeringsavdelningen ledd av Andrey Petrovich Ershov skapades vid Mathematics Institute of the Siberian Branch av USSR Academy of Sciences . 1964 överfördes programmeringsavdelningen till Computing Center för den sibiriska grenen av USSR Academy of Sciences organiserad vid den tiden. Sextio- och sjuttiotalen var tiden för avdelningens tillväxt och utvidgningen av den vetenskapliga forskningens omfattning. I intressekretsen för A.P. Ershov, hans kollegor och studenter inkluderade, förutom utvecklingen av kompilatorer, många andra problem med system- och teoretisk programmering, problem med artificiell intelligens, experiment inom området datorarkitektur. Således skapades Siberian School of System and Theoretical Programming, som intar framstående positioner inom många områden av vetenskaplig forskning. Institute of Informatics Systems bildades 1990 på grundval av ett team under ledning av A.P. Ershov, i enlighet med ordern från Sovjetunionens ministerråd daterad den 10 november 1989. 1995 uppkallades ISI SB RAS efter akademikern A.P. Ershov. I september 1997 gick ISI SB RAS med i Joint Institute of Informatics av den sibiriska grenen av den ryska vetenskapsakademin. År 1998, i enlighet med den federala lagen "On Science and State Scientific and Technical Policy", Institutet för informatiksystem. A.P. Ershov SB RAS fick statlig ackreditering från Ryska federationens ministerium för vetenskap och teknik som forskningsinstitution.