Институт программных систем Макса Планка ( 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]