Эта статья требует дополнительных ссылок для проверки . ( январь 2021 г. ) ( Узнайте, как и когда удалить это сообщение-шаблон ) |
Сокращение | MPI-SWS |
---|---|
Формирование | 2004 |
Тип | исследовательский институт |
Штаб-квартира | Саарбрюккен , Кайзерслаутерн , Германия |
Веб-сайт | www |
Институт Макса Планка программных систем (MPI-SWS) является информатику научно - исследовательский институт совмещен в Саарбрюккен и Кайзерслаутерн , Германия . Институту поручено проводить фундаментальные исследования во всех областях, связанных с проектированием, анализом, моделированием, внедрением и оценкой сложных программных систем. Конкретные области интересов включают системы программирования, распределенные и сетевые системы , встроенные и автономные.систем, а также сквозных аспектов, таких как формальное моделирование и анализ программных систем, безопасность, надежность и разработка программного обеспечения. Он объединяет более 80 других институтов, находящихся в ведении Max-Planck-Gesellschaft , которые проводят фундаментальные исследования мирового уровня в области медицины, биологии, химии, физики, технологий и гуманитарных наук.
Одна из двух баз Института программных систем Макса Планка расположена в Саарландском кампусе информатики [1], который сам основан на кампусе Саарландского университета , кластера исследовательских институтов, работающих в области информатики и информатики. Непосредственно рядом с базой Саарбрюккена находится MPI for Informatics (MPII), над которым институт тесно сотрудничает и разделяет основные ИТ-службы и административные услуги. [2] Другая база института находится в кампусе Кайзерслаутернского университета и работает в сотрудничестве с его отделом информатики и Институтами экспериментального программного обеспечения и промышленной математики Фраунгофера .
Исследовательская школа [ править ]
Международная исследовательская школа информатики Макса Планка (IMPRS-CS) была выпускной школой MPI-SWS и MPII. Он работал с 2000 по 2019 год и предлагал полностью финансируемую докторскую программу (в сотрудничестве с Саарландским университетом ). [3] Декан - профессор доктор Герхард Вейкум . На смену ей пришла Международная исследовательская школа Макса Планка по надежным вычислениям [4] (в сотрудничестве с факультетом компьютерных наук Саарландского университета и факультетом компьютерных наук Технического университета Кайзерслаутерна).
Организация [ править ]
Институт был основан в ноябре 2004 года и с тех пор активно стремится пополнить свой штат исследователей. Суммируя оба местоположения, институт имеет в общей сложности 5 директоров, 12 штатных или штатных преподавателей и примерно 100 постдоков и докторантов.
В настоящее время в составе института следующие директора: [5]
- Питер Друщель , руководитель группы распределенных систем и операционных систем.
- Пол Фрэнсис, глава Группы крупномасштабных интернет-систем.
- Кришна Гуммади, руководитель группы сетевых систем.
- Рупак Маджумдар, руководитель группы Rigorous Software Engineering Group.
- Жоэль Уакнин, руководитель группы по основам алгоритмической верификации.
и следующие штатные или постоянные преподаватели: [5]
- Бьорн Бранденбург, руководитель группы систем реального времени.
- Мария Христакис, руководитель группы практических формальных методов.
- Ева Дарулова.
- Дерек Дрейер, руководитель группы по основам программирования.
- Дипак Гарг, руководитель группы «Основы компьютерной безопасности».
- Кеон Джанг.
- Джонатан Мейс.
- Мануэль Гомес Родригес, руководитель группы обучения в сетях.
- Адиш Сингла.
- Виктор Вафейадис, руководитель группы анализа и проверки программного обеспечения.
- Георг Цетше.
См. Также [ править ]
Заметки [ править ]
- ^ "Саарский кампус информатики" .
- ^ «Двухгодичные отчеты о проделанной работе 2013-2015» (PDF) .
- ^ "Международная исследовательская школа Макса Планка компьютерных наук" .
- ^ "Международная исследовательская школа Макса Планка по надежным вычислениям" .
- ^ a b https://www.mpi-sws.org/people/#faculty-and-researchers
Внешние ссылки [ править ]
- Домашняя страница Института программных систем Макса Планка
- Домашняя страница Max-Planck-Gesellschaft
- Международная исследовательская школа информатики Макса Планка