Институт программных систем Общества Макса Планка

Институт программных систем Макса Планка (англ. Max Planck Institute for Software Systems, MPI-SWS) — научно-исследовательский институт компьютерных наук, расположенный в Саарбрюккене и Кайзерслаутерне, Германия. Институт уполномочен проводить фундаментальные исследования во всех областях, связанных с проектированием, анализом, моделированием, внедрением и оценкой сложных программных систем. Конкретные области интересов включают системы программирования,  распределенные и сетевые системы, встроенные и автономные системы, а также такие межсекторальные аспекты, как формальное моделирование и анализ программных систем, безопасность, надежность и разработка программного обеспечения. 

Институт программных систем Общества Макса Планка
(MPI-SWS)
Оригинальное название англ. Max Planck Institute for Software Systems
Основан 2004
Директор Питер Друшель
Расположение Саарбрюккен, Кайзерслаутерн
Юридический адрес D-66123 Saarbrücken, Campus E1 5
Сайт www.mpi-sws.org
 Медиафайлы на Викискладе

Институт программных систем Общества Макса Планка работает в тесном сотрудничестве с Институт информатики Общества Макса Планка (MPI-INF), факультетами информатики Университета Кайзерслаутерна и Саарского университета, Немецкого исследовательского центра искусственного интеллекта (DFKI), Фраунгоферовского института экспериментальной программной инженерии и промышленной математики и других вычислительных исследовательских центров в Кайзерслаутерне-Саарбрюккене.

Организация

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

В настоящее время институт состоит из следующих директоров и преподавателей[1]:

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

Кроме того, с институтом сотрудничают:

  • Михаель Бакес, руководитель группы информационной безопасности и криптографии.
  • Роберт Харпер.

См. также

Примечания

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.