Официально


На интернет-портале правовой информации опубликован текст постановления правительства «Об осуществлении федеральным государственным бюджетным учреждением «Российская академия наук» научного и научно-методического руководства научной и научно-технической деятельностью научных организаций и образовательных организаций высшего образования, а также экспертизы научных и научно-технических результатов, полученных этими организациями, и о внесении изменений в некоторые акты Правительства РФ».



На заседании Комитета Госдумы по образованию и науке депутаты утвердили план его работы на весеннюю сессию 2019 года.



Премией имени Д.С.Лихачева 2018 года Президиум РАН решил наградить доктора филологических наук Елену Юхименко (Государственный исторический музей). Она отмечена за монографию «Старообрядчество: история и культура».

За цикл работ «Структурная биология макромолекул, значимых для биотехнологии и медицины» премия имени Е.С.Федорова 2018 года присуждена члену-корреспонденту Владимиру Попову, доктору химических наук Инне Курановой и кандидату физико-математических наук Валерии Сaмыгиной.




Новости № 1-2(2019)

Регионы


СНГ


Интердайджест
















Математика? Искусство? Ремесло? Споры полезны для программистов.
Инфосфера
№ 29-30(2017)

28.07.2017




Ершовская конференция по информатике PSI-2017 собрала под крышей Главного здания Российской академии наук программистов и математиков со всего мира. Представители фундаментальной и прикладной науки, теоретики и практики обсудили настоящее и будущее программирования, особенное внимание уделив вопросам безопасности. 

Конференция носит имя академика Андрея Ершова - пионера теоретического и системного программирования, первого академика-программиста в СССР, и имеет многолетнюю историю и признанный статус. “Ершов - великое имя, уважаемое и в России, и за рубежом, если можно так сказать, бренд, - говорит директор Института системного программирования РАН член-корреспондент РАН Арутюн Аветисян. - Этот человек по праву считается одним из основоположников информатики как науки. Думаю, что сообщество, у которого есть такие бренды, имеет будущее”. 

В этом году форум состоялся уже в одиннадцатый раз. “Конференция прошла в Москве, и это позволило привлечь много молодых специалистов, - отмечает ведущий научный сотрудник ИСП РАН Алексей Хорошилов. - Это одно из важнейших событий в области Computer Science в России, прекрасная площадка для того, чтобы обсудить современные тенденции развития программирования. Здесь удачно совмещены прикладные разработки и фундаментальные исследования”. 

“Системное программирование - действенный инструмент для решения проблем информационной безопасности, и хорошо, что на конференции это была одна из основных тем”, - подчеркнул А.Аветисян. Информационная безопасность рассматривалась сквозь призму проблем системного программирования и инструментов анализа программ, позволяющих минимизировать появление уязвимостей в процессе создания ПО и затруднить их использование в ходе эксплуатации. 

Уязвимости ПО - критические ошибки, не выявленные в ходе тестирования, - предоставляют злоумышленникам исключительные возможности для разглашения, модификации, блокирования информации, или ее уничтожения, дестабилизации, или контроля работы различных систем. В связи с этим крайне важно своевременное обнаружение дефектов программного кода на этапах разработки и проектирования программного обеспечения, проверки его соответствия заявленной политике безо-пасности и реализации механизмов защиты. Точность отслеживания уязвимостей - основной критерий эффективности предназначенных для этого инструментов.

Среди самых интересных докладов PSI-2017 стоит отметить сообщение профессора факультета компьютерных наук и инженерии Технического университета Чалмерса и Гётеборгского университета Андрея Сабельфельда, рассказавшего о новых методах отслеживания уязвимостей ПО. В докладе был представлен подход к поиску уязвимостей, который не требует отслеживания данных на протяжении всех вычислений, и инструмент DroidFace. Он является альтернативой существующим сегодня статическим и динамическим инструментам поиска уязвимостей для систем на основе Android. Профессор Сабельфельд утверждает, что этот метод может быть использован для обнаружения атак без ложных срабатываний и пропуска ошибок.

Теме анализа кода, но уже при помощи статического анализатора Svace был посвящен доклад старшего научного сотрудника ИСП РАН Андрея Белеванцева - “Многоуровневый статический анализ для поиска шаблонов ошибок и дефектов в исходном коде”. Одной из наиболее действенных современных технологий поиска уязвимостей и ошибок сегодня можно назвать использование систем автоматического поиска дефектов с помощью статического анализа исходного кода программ, которые можно применять на самых ранних этапах разработки. Этот метод делает исправление дефектов максимально дешевым. 

Такие системы обрабатывают объемы информации в миллионы строк кода и анализируют все возможные варианты выполнения программы одновременно. Сегодня эта технология реализована в наборе инструментов статического анализа Svace. Его использование для анализа больших объемов кода, таких как ОС Android и Tizen, показало масштабируемость подхода и приемлемое соотношение ложных и истинных срабатываний: от 50 до 80% найденных ошибок оказываются истинными. 

О защищенности и надежности ПО говорили и другие отечественные и зарубежные ученые. Тему безопасности облачных технологий затронул управляющий директор Microsoft Research India Шрирам Раджамэни, созданию отказоустойчивых космических систем был посвящен доклад директора Ирландского исследовательского центра программного обеспечения при Университете Лимерика, основателя и главного редактора журнала NASA Journal Innovations in Systems and Software Engineering Майкла Джерарда Хинчи. Также большое внимание на конференции было уделено таким вопросам, как методология и технология программирования, высокопроизводительные вычисления, моделирование и анализ систем реального времени и гибридных систем, программирование в ограничениях, визуализация программ.

Характерно, что наряду с большим объемом прикладных тем, озвученных в докладах Ершовской конференции, поднимались и вопросы, относящиеся к области фундаментальной науки, “чистой” математики. “Не следует отрывать фундаментальную науку от прикладной, - подчеркивает Арутюн Аветисян. - Они должны развиваться как части единого организма. Так, без математиков невозможны современное программирование, анализ социальных сетей, гомоморфное шифрование, разработки в области безо-пасности, анализа больших данных. Например, ИСП РАН представил результаты фундаментальных исследований в различных областях Computer Science, многие из которых уже внедрены в практику. С другой стороны, реальная польза от той или иной фундаментальной теории становится понятной через многие годы, поэтому стратегически важно выделять ресурсы на их развитие”.

По впечатлениям участников PSI-2017, общение на конференции оказалось продуктивным и многообещающим, несмотря на различие подходов. “Есть три взгляда на создание и развитие софта, - рассуждает профессор берлинской Высшей школы техники и экономики Томас Баар. - Одни считают, что это чистая математика, другие - чистое искусство, третьи - чистое ремесло. На самом деле, истина где-то посредине”.

Николай СЕМЕНОВ

Фотоснимки
предоставлены ИСП РАН

На первом снимке: Арутюн Аветисян

На втором снимке: Андрей Сабельфельд

На третьем снимке: Майкл Джерард Хинчи

На четвертом снимке: Шрирам Раджамэни


 

Отзывы

Чтобы оставить отзыв необходимо авторизоваться или зарегистрироваться



 

Статьи на тему

Держать фронт! В Институте системного программирования РАН знают, как отражать кибератаки.
С каждым годом цифровое пространство все усложняется, а вместе с тем растет и опасность киберугроз. /№ 1-2(2019)
На плечах гигантов. Web of Science помогает ученым находить точки опоры.
Подвести итоги уходящего года, рассказать о том, как меняется на международном уровне видимость российской науки, публикационная активность наших ученых и качество отечественных журналов, “Поиск” попросил управляющего директора компании Clarivate Analytics в России и СНГ Олега УТКИНА, который работает в сфере информационно-аналитических услуг более 15 лет. /№ 52(2018)
В сонме лучших. Названы имена самых цитируемых ученых.
Компания Clarivate Analytics, которой принадлежит ведущий наукометрический сервис Web of Science, обнародовала список ISI Highly Cited Researchers, охватывающий “верхушку” (0,1%) самых цитируемых ученых мира за 2006-2016 годы. /№ 51(2018)

Новости


Росатом завершил первый этап контрольной сборки уникального Многоцелевого исследовательского реактора на быстрых нейтронах (МБИР), который строится в Димитровграде на площадке ГНЦ - НИИ атомных реакторов и станет самым мощным из действующих, сооружаемых и проектируемых исследовательских реакторов в мире.



Институт статистических исследований и экономики знаний НИУ ВШЭ представил сведения о средней заработной плате научных сотрудников в России, начисленной за первые три квартала 2018 года. За первые девять месяцев 2018 года зарплата увеличилась в 1,9 раза и составила 93,7 тысячи рублей.



Проводить обучение по программам дополнительного профессионального образования следует в университетах, заявила в ходе Гайдаровского форума заместитель министра науки и высшего образования Марина Боровская.



Минобрнауки планирует увеличить число обучающихся в вузах России иностранных студентов до 425 тысяч. Привлечь их планируется за счет внедрения новых форматов обучения. Об этом заявил на Гайдаровском форуме первый заместитель министра образования и науки Григорий Трубников.



Новая дата поездки делегации Российской академии наук в США, которая была первоначально намечена на конец прошлого года, пока не определена, сообщил ТАСС президент РАН Александр Сергеев.



Ректор МГУ им. М.В.Ломоносова Виктор Садовничий и президент Университета Сорбонна профессор Жан Шамбаз подписали соглашение об открытии совместных программ магистратуры, предусматривающих выдачу двух дипломов в области филологии, философии и истории.



Одиннадцать вузов в ТОП-100, одна позиция в пятерке, 35 участников в публикуемой части и четвертое место по их количеству среди 43 стран - таковы результаты России в новом глобальном рейтинге университетов стран с активно развивающейся экономикой (Emerging Economies University Rankings 2019), подготовленном британским агентством Times Higher Education (THE).

Конференции


Центр научно-информационных исследований по науке, образованию и технологиям ИНИОН РАН совместно с Институтом экономических стратегий проводят 22 января 2019 года МОСКОВСКИЙ ГОРОДСКОЙ СЕМИНАР ПО НАУКОВЕДЕНИЮ И НАУКОМЕТРИИ

22 ноября ИСП РАН им. В.П. Иванникова в рамках своей Открытой конференции, посвященной 70-летию отечественного ИТ-сектора, заключил соглашение с АО «НПО РусБИТех» о продаже лицензии на статический анализатор Svace и динамический анализатор Crusher. Сделка позволит предприятию-разработчику отечественной сертифицированной операционной системы Astra Linux обнаруживать ошибки кода на ранних стадиях и повысить доверие к безопасности своей платформы, используемой в государственных и коммерческих информационных системах, в том числе в критически важных секторах экономики.

22-23 ноября в здании Президиума Российской академии наук прошла Открытая конференция ИСП РАН им. В.П.Иванникова, посвященная 70-летию российского ИТ-сектора. На ней обсудили проекты и технологии, имеющие глобальное значение.

Текущие конкурсы


ФГБУН Институт геологии рудных месторождений, петрографии, минералогии и геохимии Российской академии наук (ИГЕМ РАН) объявляет конкурс на замещение вакантных должностей

Вы молоды, талантливы и увлечены наукой о катализе? Тогда обращайтесь к нам!

Pегиональный конкурс проектов фундаментальных научных исследований

Региональный конкурс проектов фундаментальных научных исследований, выполняемых молодыми учеными

Конкурс на лучшие научные проекты фундаментальных исследований

Вакансии


14.09.2018
ФГБУН Институт геологии рудных месторождений, петрографии, минералогии и геохимии Российской академии наук (ИГЕМ РАН)объявляет конкурс на замещение вакантных должностей

13.04.2018
Федеральное государственное автономное образовательное учреждение высшего образования “Московский физико-технический институт (государственный университет)” объявляет конкурс на замещение должностей педагогических работников, относящихся к профессорско-преподавательскому составу

02.03.2018
объявляет конкурс на замещение вакантных должностей:


опрос

Какие рубрики нашей газеты Вам наиболее интересны?




Copyright 2010
Главная страница   |   О газете  |  Партнеры  |  Команда Поиска  |  Вакансии