Новости ИСП РАН



Новости

16 Сентября, 2024 Защита диссертаций
12 Апреля, 2024 Защита диссертаций
07 Октября, 2023 Защита диссертаций
18 Августа, 2023 Защита диссертаций
14 Октября, 2022 Защита диссертаций
08 Сентября, 2022 Защита диссертаций
09 Сентября, 2021 Защита диссертаций
09 Апреля, 2021 Защита диссертаций
10 Октября, 2019 Защита диссертаций
18 Мая, 2019 Samsung AI Boot Camp 2019
11 Января, 2019 Защита диссертаций
18 Октября, 2018 Защита диссертаций
19 Февраля, 2018 Защита диссертаций
15 Декабря, 2017 Защита диссертаций
20 Октября, 2017 Защита диссертаций
18 Августа, 2017 Защита диссертаций
14 Октября, 2016 Защита диссертаций
15 Апреля, 2016 Защита диссертаций
11 Апреля, 2016 BLAST 2.7.3 на SV-COMP'2016
14 Января, 2016 Защита диссертаций
27 Ноября, 2015 Защита диссертаций
20 Апреля, 2015 BLAST 2.7.3 на SV-COMP'2015
05 Января, 2015 Защита диссертаций
15 Апреля, 2014 Защита диссертаций
10 Февраля, 2014 20-летие ИСП РАН
05 Ноября, 2013 Защита диссертаций
27 Сентября, 2013 Защита диссертаций
22 Апреля, 2013 Защита диссертаций
26 Декабря, 2012 SYRCoSE 2013
28 Сентября, 2012 Защита диссертации
06 Августа, 2012 Защита диссертации

Новости ИСП РАН

01 Марта, 2017
ИСП РАН примет участие в ежегодной конференции «РусКрипто»

Ежегодная конференция «РусКрипто» пройдет с 21 по 24 марта 2017 года в ГК «Солнечный Park Hotel & SPA» (Московская область, Солнечногорский район). Конференция «РусКрипто» представляет собой площадку для общения специалистов в области криптографии и защиты информации. В мероприятии ежегодно принимают участие разработчики и их потенциальные клиенты, ученые и чиновники, специалисты из коммерческих и государственных структур. «РусКрипто» — это теория и практика, презентации новых технологий и обмен мнениями.

16 Февраля, 2017
Кадровая политика по «физтеховской» модели

Кадровая база – самое слабое место любой отрасли. Стремительно развивающиеся технологии, меняющиеся быстрее, чем учебные планы, утраченные в годы распада СССР связи между учебными и исследовательскими институтами, неговоря уже о связях первых и вторых с производством, – вот те препятствия, которые неизбежно встают на пути роста и процветания, наносят удар по мечтам о конкурентоспособности и перспективах на рынке. Это традиционные и пока что неизлечимые болезни российской экономики. Между тем выход из этой ситуации известен уже давно, еще с советских времен. Это так называемая модель физтеха, опыт создания структуры, включающей в себя образовательный, научный и производственный процессы.

10 Февраля, 2017
Технология многоязычного интеллектуального анализа текста «Текстерра»

С самого начала, с момента, когда интернет стал действительно глобальной сетью, связывающей миллионы пользовательских компьютеров, отличительной чертой его была анонимность пользователей. Возможность скрывать свое имя за ником, оперировать не одним аккаунтом, а целым «парком» виртуальных личностей, размещать и распространять практически любую информацию, стала почвой для развития целой отрасли в журналистике и public relations, громадного набора специфических рекламных и PR-технологий.

27 Января, 2017
В ИСП РАН создают сертифицированную программную платформу для гражданских самолётов

Институт системного программирования (ИСП) РАН совместно с Государственным научно-исследовательским институтом авиационных систем (ГосНИИАС) начал разработку программной платформы для бортового комплекса радиоэлектронного оборудования гражданских самолетов, сообщил в интервью RNS директор ИСП РАН, член-корреспондент РАН Арутюн Аветисян.

23 Января, 2017
Арутюн Аветисян в интервью Rambler об информационной безопасности, уязвимости компьютерных программ, совместных проектах с Samsung и Свемел

Можно сейчас сравнивать академический Институт системного программирования, например, с американской Кремниевой долиной или индийским технопарком в Бангалоре? Вопрос сложный, комплексный. Для того, чтобы на него ответить, надо в двух словах объяснить, что такое Институт системного программирования. Институт образован в 1994 году. С самого начала он задумывался как организационная структура вокруг научной школы, основателем которой был академик Виктор Петрович Иванников. Институт основывается на трех компонентах: элитарное образование, передовые исследования и связь с индустрией.

17 Января, 2017
11-ая Ершовская конференция по информатике пройдёт в Москве с 26 по 29 июня 2017 года

Ершовская конференция по информатике – это один из главных форумов России, посвященных исследованиям и приложениям в таких областях информатики, как компьютерные науки, методология и технология программирования, информационные технологии. Конференция регулярно проводится с 1991 года. На конференциях собираются ученые, разработчики и пользователи программного обеспечения для того, чтобы представить и обсудить самые последние новшества, идеи, тенденции и результаты исследований в направлениях, обозначенных в тематике конференции.

08 Декабря, 2016
Что такое СПО (В.П. Иванников)

Публикуемая статья представляет собой стенограмму доклада «Что такое СПО», сделанного директором Института системного программирования РАН Виктором Петровичем Иванниковым на семинаре «Вычислительные технологии в естественных науках. Перспективные компьютерные системы: устройства, методы и концепции», который прошёл в марте 2011 года в Тарусе под эгидой Института космических исследований РАН. Отдельные фрагменты этого текста удивительно актуальны сейчас в связи с импортозамещением ПО в России.

08 Декабря, 2016
Методы определения демографических параметров пользователей социальных сетей с помощью графов

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

17 Ноября, 2016
В журнале Ведомости вышла статья о технологии Svace, разрабатываемой в ИСП РАН

Южнокорейский Samsung пользуется разработкой Института системного программирования Российской академии наук (ИСП РАН) под названием Svace, сообщили «Ведомостям» директор ИСП РАН Арутюн Аветисян и GR-директор российского офиса Samsung Марат Гуриев. Svace ищет ошибки в исходном коде операционных систем Android (создает ее Google, а Samsung дорабатывает), а также в кодах собственных приложений Samsung под Android и операционной системы Tizen авторства Samsung, объясняют они.

17 Ноября, 2016
1-2 декабря ИСП РАН проведет первую научно-практическую Открытую конференцию

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

15 Ноября, 2016
Svace стал одним из трёх номинантов «Технология года» CNews AWARDS 2016

Промышленный инструмент статического анализа исходного кода программ Svace, предназначенный для поиска широкого набора критических ошибок, уязвимостей и недостатков кода, стал одним из трёх номинантов «Технология года» CNews AWARDS 2016.

09 Ноября, 2016
Конкурс на замещение должности

Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук (ИСП РАН) объявляет конкурс на замещение вакантной должности.

14 Октября, 2016
Защита диссертаций

15 декабря 2016 года в 15:00 в Актовом зале ИСП РАН состоится защита кандидатских диссертаций в Диссертационном совете Д 002.087.01 при ИСП РАН.

29 Сентября, 2016
Проект по лингвистике получил мегагрант

Одним из победителей пятого конкурса мегагрантов стала доктор филологических наук, главный научный сотрудник и заведующая отделом урало-алтайских языков Института языкознания РАН, член-корреспондент РАН, профессор Центра компаративистики Института восточных культур и античности РГГУ Анна Владимировна Дыбо. Это первый проект по лингвистике, получивший мегагрант. Цель – описать языки южной Сибири в синхронии, диахронии и взаимодействии, обращая внимание на максимальное количество важных параметров.

23 Сентября, 2016
Разработка ИСП РАН была внедрена в ОС Tizen

Решение для валидации кода Svace, созданное в ИСП РАН, стало частью экосистемы ОС Tizen, разрабатываемой в Samsung. Об этом CNews рассказали глава ИСП РАН Арутюн Аветисян и директор по работе с госучреждениями в российском представительстве Samsung Марат Гуриев.

19 Сентября, 2016
Динамическая композиция программных компонентов

15 сентября в аудитории 110 ИСП РАН выступил Гринкруг Ефим Михайлович. На семинаре обсуждалась компонентная модель, позволяющая в динамике создавать и использовать новые составные компоненты. Обсуждалась программная архитектура и компонентная реализация среды для поддержки динамической композиции компонентов и их функционирования. Приводились примеры и направления практического использования в различных приложениях.

15 Сентября, 2016
Сотрудник ИСП РАН Александр Монаков выступил с докладом на конференции GCC Cauldron 2016

На конференции GCC Cauldron 2016 выступил сотрудник ИСП РАН Александр Монаков с докладом "OpenMP offloading for the NVPTX target in GCC".

12 Сентября, 2016
На конференции LLVM Cauldron выступил сотрудник ИСП РАН Дмитрий Мельник

На конференции LLVM Cauldron, посвященной разработке компиляторных инструментов LLVM, выступил сотрудник ИСП РАН Дмитрий Мельник с докладом на тему "LLV8: Adding LLVM as an extra JIT tier to V8 JavaScript engine".

05 Июля, 2016
Доклад С.М. Авдошина и А. Лазаренко на тему "Анонимность и деанонимизация Tor"

30 июня на межотдельском семинаре института был заслушан доклад С.М. Авдошина и А. Лазаренко (Департамент программной инженерии ФКН НИУ ВШЭ) на тему "Анонимность и деанонимизация Tor".

22 Июня, 2016
Международная летняя школа ERCOFTAC 2016
С 8 по 14 июня 2016 года в Виланова-и-ла-Хельтру (Испания) прошли мероприятия международной летней школы ERCOFTAC, посвященные моделированию пространственных турбулентных течений.


Страницы: Пред. 1 ... 12 13 14 15 16 ... 18 След.