Институт программных систем Макса Планка
 | Эта статья нуждается в дополнительных цитатах для проверки . ( январь 2021 г. ) |
 Логотип института | |
| Аббревиатура | MPI-SWS |
|---|---|
| Формирование | 2004 г |
| Тип | научно-исследовательский институт |
| Штаб-квартира | Саарбрюккен , Кайзерслаутерн , Германия |
| Веб-сайт | www |
Институт программных систем Макса Планка ( MPI-SWS ) — научно-исследовательский институт компьютерных наук , расположенный в Саарбрюккене и Кайзерслаутерне , Германия . Институт уполномочен проводить фундаментальные исследования во всех областях, связанных с проектированием, анализом, моделированием, внедрением и оценкой сложных программных систем. Особые области интересов включают системы программирования, распределенные и сетевые системы , встроенные и автономные системы, а также сквозные аспекты, такие как формальное моделирование и анализ программных систем, безопасность, надежность и разработка программного обеспечения. Он объединяет более 80 других институтов, находящихся под управлением Max-Planck-Gesellschaft , которые проводят фундаментальные исследования мирового уровня в области медицины, биологии, химии, физики, технологий и гуманитарных наук.
Одна из двух баз Института программных систем Макса Планка расположена в Саарском кампусе информатики, [1] Сама компания базируется на кампусе Саарского университета — кластера исследовательских институтов, работающих в области информатики и информатики. В непосредственной близости от базы в Саарбрюккене находится MPI по информатике (MPII), с которым институт тесно сотрудничает и разделяет основные ИТ и административные услуги. [2] Другая база института находится в кампусе Университета Кайзерслаутерн-Ландау и работает в сотрудничестве с его кафедрой информатики и Институтами Фраунгофера экспериментальной разработки программного обеспечения и промышленной математики .
Исследовательская школа
[ редактировать ]Международная исследовательская школа компьютерных наук Макса Планка (IMPRS-CS) была аспирантурой MPI-SWS и MPII. Он работал с 2000 по 2019 год и предлагал полностью финансируемую программу PhD (в сотрудничестве с Саарским университетом ). [3] Докладчиком был профессор доктор Герхард Вейкум .
На смену ей пришла Международная исследовательская школа Макса Планка по надежным вычислениям. [4] (в сотрудничестве с факультетом компьютерных наук Саарского университета и факультетом компьютерных наук Технического университета Кайзерслаутерна). Пресс-секретарь — Аня Фельдманн .
Организация
[ редактировать ]Институт был основан в ноябре 2004 года и с тех пор активно стремится пополнить свой штат исследователей. Суммируя оба места, институт имеет общую вместимость 5 директоров, 12 штатных или штатных преподавателей и около 100 постдоков и докторантов.
В настоящее время в состав института входят следующие директора: [5]
- Питер Друшель , руководитель группы распределенных систем и операционных систем.
- Дерек Драйер, руководитель группы «Основы программирования».
- Пол Фрэнсис, глава группы крупномасштабных интернет-систем.
- Кришна Гуммади, глава группы сетевых систем.
- Рупак Маджумдар, руководитель группы разработки строгого программного обеспечения.
- Жоэль Уакнин, руководитель группы по основам алгоритмической верификации.
и следующие штатные или постоянные преподаватели: [5]
- Бьорн Бранденбург, глава группы систем реального времени.
- Дипак Гарг, руководитель группы по основам компьютерной безопасности.
- Мануэль Гомес Родригес, руководитель группы обучения в сетях.
- Антуан Кауфман.
- Адиш Сингла.
- Mariya Toneva.
- Виктор Вафеиадис, руководитель группы анализа и верификации программного обеспечения.
- Георг Цецше.
См. также
[ редактировать ]Примечания
[ редактировать ]- ^ «Кампус информатики Саара» .
- ^ «Отчеты о ходе работы за двухгодичный период 2013–2015 гг.» (PDF) .
- ^ «Международная исследовательская школа компьютерных наук Макса Планка» .
- ^ «Международная исследовательская школа Макса Планка по надежным вычислениям» .
- ^ Jump up to: а б «Люди в MPI-SWS – MPI SWS» .
Внешние ссылки
[ редактировать ]- Домашняя страница Института программных систем Макса Планка
- Домашняя страница Max-Planck-Gesellschaft
- Международная исследовательская школа компьютерных наук Макса Планка
