Тексерiс және синтез
дұрыс және қауiпсiз жүйелер
2015 Академические директора
О. Grumberg
J. Esparza
Атқарушы директор
Көзде
Балаусадай ғалымдар үшiн екi апталардың Marktoberdorf бағамдарын жастағы мектеп компьютер және дұрыстыққа ат үстi қарау арналған жұмыс iстейтiн математик және бағдарламалық жүйелердi қауiпсiздiк. Соңғы жыл қатардағы азаматтар Банкингтiң интернет-нiң күн сайынғы қолданушылары, әлеуметтiк желiлер бол |статьқан және бұлтты сервистер. Кибер мынау қызметтердi ақаулықтың алдын алуы, сонымен бiрге құпия деректердi тұтастықтың қорғанысын — шабуыл қоғамды басты мiндеттерiнiң бiрi негiзiнен дене бiтiмдi. Жаңа технологияларды әзiрлеуге жауап бередi және мынау сұрақты шешiм үшiн жүйелерғана емес, олардыңның ғылыми негiздерi де компьютер ғылымы. Болған iсiнiң ағымында соңғы он жылдықтарының өңделген компьютер ғалымдары, және дамытуды жалғастырады, формалды анықтаудың теориясын: әдiснамалар, алгоритмдарды дене және қателiктi iздестiру үшiн бағдарламалық қаражаттар немесе қауiпсiздiктiң қорқытуларын бар бағдарламалық қамтамасыз етуде, немесе қамтамасыз ету үшiн онда болмаған математикалық дәлелдi қаталдықпен.Мектеп көзде, үшiн облыс соңғы жетiстiктер бұл өзiн таныстыру. Бағам өңделген, үшiн зерттеулердiң төңiрегiдегi мемлекеттiң терең тұсаукесерлерi ең қазiргi сол берсiн және өндiрiстiк тәжiрибе. Бiздiкiнiң мiндетiмiз жәрдемдесуде халықаралық контакт болады және ынтымақтастық және зерттеушiлердiң жүргiзушiсiн бiрiктiрсiн және балаусадай ғалымдар мектеп Marktoberdorf өте жақсы желiлерде ASI-летней ретiнде негiзделген .