Институт Макса Планка программных систем - Max Planck Institute for Software Systems

Институт Макса Планка программных систем
Mpi-sws-logo.png
Логотип института
СокращениеMPI-SWS
Формирование2004; 16 лет назад (2004)
Типисследовательский институт
Штаб-квартираСаарбрюккен, Кайзерслаутерн, Германия
Интернет сайтwww.mpi-sws.org

В Институт Макса Планка программных систем (MPI-SWS) - это Информатика научно-исследовательский институт, расположенный в Саарбрюккен и Кайзерслаутерн, Германия. Институту поручено проводить фундаментальные исследования во всех областях, связанных с проектированием, анализом, моделированием, внедрением и оценкой сложных программных систем. Конкретные области интересов включают системы программирования, распределен и сетевые системы, встроенный и автономный систем, а также сквозные аспекты, такие как формальное моделирование и анализ программных систем, безопасность, надежность и разработка программного обеспечения. Он объединяет более 80 других институтов, находящихся в ведении Max-Planck-Gesellschaft, которые проводят фундаментальные исследования мирового уровня в области медицины, биологии, химии, физики, технологий и гуманитарных наук.

Одна из двух баз Института программных систем Макса Планка расположена в кампусе Saarland Informatics Campus,[1] сам базируется на кампусе Саарский университет, кластер научно-исследовательских институтов, работающих в области информатики и информатики. Непосредственно рядом с базой Саарбрюккена находится MPI для информатики (MPII), с которой институт тесно сотрудничает и разделяет основные ИТ-службы и административные услуги.[2] Другая база институтов находится на территории кампуса Кайзерслаутернский университет, работая в сотрудничестве со своим отделом информатики и Институты Фраунгофера экспериментального программного обеспечения и промышленной математики.

Исследовательская школа

Международная исследовательская школа информатики Макса Планка (IMPRS-CS) была выпускной школой MPI-SWS и MPII. Он работал с 2000 по 2019 год и предлагал полностью финансируемую докторскую программу (в сотрудничестве с Саарский университет ).[3] Декан - проф. Герхард Вейкум. На смену ему пришла Международная школа Макса Планка по надежным вычислениям.[4] (в сотрудничестве с факультетом компьютерных наук Саарландского университета и факультетом компьютерных наук Кайзерслаутернского технического университета).

Организация

Институт был основан в ноябре 2004 года и с тех пор активно стремится пополнить свой штат исследователей. Суммируя оба местоположения, институт имеет в общей сложности 5 директоров, 12 штатных или штатных преподавателей и примерно 100 постдоков и докторантов.

В настоящее время в составе института следующие директора:[5]

  • Питер Друщель, руководитель группы распределенных систем и операционных систем.
  • Пол Фрэнсис, глава Группы крупномасштабных интернет-систем.
  • Кришна Гуммади, руководитель группы сетевых систем.
  • Рупак Маджумдар, руководитель группы разработки программного обеспечения.
  • Жоэль Уакнин, руководитель группы по основам алгоритмической верификации.

и следующие штатные или штатные преподаватели:[5]

  • Бьорн Бранденбург, руководитель группы систем реального времени.
  • Мария Христакис, руководитель группы практических формальных методов.
  • Ева Дарулова.
  • Дерек Дрейер, руководитель группы по основам программирования.
  • Дипак Гарг, руководитель группы «Основы компьютерной безопасности».
  • Кеон Джанг.
  • Джонатан Мейс.
  • Мануэль Гомес Родригес, руководитель группы обучения в сетях.
  • Адиш Сингла.
  • Виктор Вафейадис, руководитель группы анализа и проверки программного обеспечения.
  • Георг Цетше.

Смотрите также

Заметки

  1. ^ "Саарский кампус информатики".
  2. ^ «Двухгодичные отчеты о проделанной работе 2013-2015 гг.» (PDF).
  3. ^ "Международная исследовательская школа информатики Макса Планка".
  4. ^ "Международная исследовательская школа Макса Планка по надежным вычислениям".
  5. ^ а б https://www.mpi-sws.org/people/#faculty-and-researchers

внешние ссылки