Max Planck Societyn ohjelmajärjestelmäinstituutti

Max Planck Institute for Software Systems ( MPI -SWS) on  tietojenkäsittelytieteen tutkimuslaitos, joka sijaitsee Saarbrückenissä ja Kaiserslauternissa Saksassa . Instituutti on valtuutettu tekemään perustutkimusta kaikilla monimutkaisten ohjelmistojärjestelmien suunnitteluun, analysointiin, mallintamiseen, toteutukseen ja arviointiin liittyvillä aloilla. Erityisiä kiinnostuksen kohteita ovat ohjelmointijärjestelmät,  hajautetut ja verkotetut järjestelmät, sulautetut ja autonomiset järjestelmät sekä monialaiset näkökohdat, kuten ohjelmistojärjestelmien muodollinen mallintaminen ja analysointi, turvallisuus, luotettavuus ja ohjelmistokehitys. 

Max Planck Institute for Software Systems toimii tiiviissä yhteistyössä Max Planck Institute for Informatics (MPI-INF), Kaiserslauternin yliopiston tietojenkäsittelytieteen laitosten ja Saarlandin yliopiston sekä Saksan tekoälyn tutkimuskeskuksen (DFKI) kanssa. , Fraunhofer Institute for Experimental Software Engineering and Industrial Mathematics ja muut laskennalliset tutkimuskeskukset Kaiserslautern-Saarbrückenissä.

Organisaatio

Instituutti perustettiin marraskuussa 2004 ja on siitä lähtien pyrkinyt aktiivisesti laajentamaan tutkimuskapasiteettiaan. Yleensä instituutissa työskentelee 5 johtajaa, 12 opettajaa ja noin 100 jatko-opiskelijaa ja jatko-opiskelijaa.

Instituutti koostuu tällä hetkellä seuraavista johtajista ja tiedekunnista [1] :

• Bjorn Brandenburg, reaaliaikaiset järjestelmät -ryhmän johtaja.
• Maria Christakis, käytännön muodollisten menetelmien ryhmän johtaja.
• Eva Darulova.
• Derek Dryer, ohjelmoinnin perusteet -tiimin johtaja.
• Peter Drushel (johtaja), hajautetut järjestelmät ja käyttöjärjestelmät -ryhmän johtaja.
• Paul Francis (johtaja), suurten Internet-järjestelmien ryhmän johtaja.
• Deepak Garg, Computer Security Fundamentals Groupin johtaja.
• Manuel Gomez Rodriguez, tiiminvetäjä, Learning in Networks.
• Krishna Gummadi, verkkojärjestelmäryhmän johtaja.
• Rupak Majumdar (johtaja), Strict Software Development Teamin johtaja.
• Victor Vafeyadis, ohjelmistoanalyysi- ja todentamisryhmän johtaja.

Lisäksi instituutti tekee yhteistyötä:

• Michael Backes, tietoturva- ja kryptografiaryhmän johtaja.
• Robert Harper.

Katso myös

• Max Planckin tietojenkäsittelytieteen instituutti
• Max Planckin seura

Muistiinpanot

1. ↑ MPI-SWS:n ihmiset - MPI SWS . Haettu 26. lokakuuta 2018. Arkistoitu alkuperäisestä 27. lokakuuta 2018. (määrätön)

Ulkoiset linkit

• mpi-sws.mpg.de - Max Planck Institute for Software Systems -instituutin virallinen verkkosivusto
• Max Planck International Research School for Computer Science Arkistoitu 3. kesäkuuta 2017 Wayback Machinessa