Официально


Минобрнауки утвердило контрольные цифры приема аспирантов на бюджетные места в научные организации, подведомственные ФАНО, на 2019/20 учебный год, сообщает пресс-служба агентства.



Федеральная служба по надзору в сфере образования и науки прекратила действие лицензии Московского областного гуманитарного института.



Президент России подписал закон «О внесении изменений в ФЗ «О физической культуре и спорте в РФ», который уточняет правовой статус студенческих спортивных лиг и Российского студенческого спортивного союза.



Премьер-министр Дмитрий Медведев подписал распоряжение об обеспечении деятельности Российской Антарктической экспедиции на 2018-2022 годы. Оно опубликовано на сайте правительства и доступно по ссылке.






Новости № 16(2018)

Регионы


СНГ


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


















Математика? Искусство? Ремесло? Споры полезны для программистов.
Инфосфера
№ 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, общение на конференции оказалось продуктивным и многообещающим, несмотря на различие подходов. “Есть три взгляда на создание и развитие софта, - рассуждает профессор берлинской Высшей школы техники и экономики Томас Баар. - Одни считают, что это чистая математика, другие - чистое искусство, третьи - чистое ремесло. На самом деле, истина где-то посредине”.

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

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

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

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

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

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


 

Отзывы

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



 

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

В битве с мифами. Медики поднялись на борьбу с заблуждениями.
Врачи и ученые Сибирского государственного медицинского университета объявили войну мифам о здоровье. Специалисты, участвующие в проекте университета “Томская область - лаборатория здоровья”, будут регулярно развенчивать самые распространенные и опасные заблуждения, связанные с болезнями, их лечением и профилактикой. /№ 11-12(2018)
На пути к совершенству. В РФФИ готовятся к широкому обсуждению принципов научной экспертизы.
В мае этого года в Москве состоится традиционная ежегодная встреча участников Глобального исследовательского совета (ГИС) - неформального объединения национальных организаций по финансированию научных исследований. Одним из важных вопросов в повестке форума станет обсуждение путей совершенствования научной экспертизы. /№ 10(2018)
Сигналят маяки. Обнаружились новые точки роста российской науки.
Недавно созданная компания Clarivate Analytics, в портфеле продуктов которой - авторитетная база данных Web of Science, немногим больше года проработала на рынке информационно-аналитических услуг в сфере науки. /№ 9(2018)

Новости


Совет по науке при Минобрнауки выступил с заявлением, в котором выражена глубокая обеспокоенность в связи с внесением в Госдуму законопроекта «О мерах воздействия (противодействия) на недружественные действия США и (или) иных иностранных государств». Члены совета считают, что предложенные в законопроекте меры могут нанести существенный ущерб развитию российской науки и технологий.



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



Российские студенты завоевали Кубок мира и четыре медали из 13 на престижном мировом чемпионате по программированию ICPC, финал которого прошел в Пекине. Отличились команды из МГУ им. М.В.Ломоносова, МФТИ, ИТМО и Уральского федерального университета, информирует ТАСС.



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



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



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



Совет Межрегионального общества научных работников обратился с заявлением к председателю Госдумы Вячеславу Володину.

Конференции


Пятая конференция разработчиков российских операционных платформ «OS DAY. Надежность» состоится 17-18 мая 2018 г. в Москве, в главном здании Российской академии наук. Основной темой для обсуждения среди теоретиков и практиков системного программирования и разработки ОС станет вопрос надежности. Участники рассмотрят методы проектирования и разработки надежных платформ, инструментальные средства обеспечения надежности программно-аппаратных систем как на этапе разработки, так и на этапе эксплуатации.

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

Центр научно-информационных исследований по науке, образованию и технологиям ИНИОН РАН совместно с Институтом экономических стратегий проводят Московский семинар по науковедению и наукометрии.

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


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

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

Конкурс 2018 года на лучшие научные проекты междисциплинарных фундаментальных исследований по теме “Большие данные в постгеномную эру” (“мк”)

Конкурс 2018 года на лучшие научные проекты междисциплинарных фундаментальных исследований по теме “Правовое регулирование геномных исследований” (“мк”)

Конкурс 2018 года на лучшие научные проекты междисциплинарных фундаментальных исследований по теме “Модели правового регулирования международного научно-технического сотрудничества и международной интеграции России” (“мк”)

Вакансии


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

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

03.11.2017
Федеральное государственное бюджетное учреждение высшего образования и науки Санкт-Петербургский национальный исследовательский академический университет Российской академии наук объявляет конкурс на замещение следующих вакантных должностей...




опрос

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




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