Max Planck Institute for Software Systems

Max Planck Institute for Software Systems
AbbreviationMPI-SWS
Formation2004; 21 years ago (2004)
Typeresearch institute
HeadquartersSaarbrücken, Kaiserslautern, Germany
Websitewww.mpi-sws.org

The Max Planck Institute for Software Systems (MPI-SWS) is a computer science research institute co-located in Saarbrücken and Kaiserslautern, Germany. The institute is chartered to conduct basic research in all areas related to the design, analysis, modelling, implementation and evaluation of complex software systems. Particular areas of interest include programming systems, distributed and networked systems, embedded and autonomous systems, as well as crosscutting aspects like formal modelling and analysis of software systems, security, dependability and software engineering. It joins over 80 other institutes run by the Max-Planck-Gesellschaft, which conduct world-class basic research in medicine, biology, chemistry, physics, technology and the humanities.

One of the two bases of the Max Planck Institute for Software Systems is located on the Saarland Informatics Campus,[1] itself based on the campus of the Saarland University, a cluster of research institutes working in the field of computer science and informatics. Located immediately adjacent to the Saarbrücken base is the MPI for Informatics (MPII) for which the institute works closely and shares core IT and administrative services.[2] The institutes other base is on the campus of the University of Kaiserslautern-Landau, working in co-operation with its computer science department and the Fraunhofer Institutes for Experimental Software Engineering and for Industrial Mathematics.

Research School

The International Max Planck Research School for Computer Science (IMPRS-CS) was the graduate school of the MPI-SWS and the MPII. It was operational between 2000 and 2019 and offered a fully funded PhD-Program (in cooperation with Saarland University).[3] The spokesperson was Prof. Dr. Gerhard Weikum.

It was succeeded by the International Max Planck Research School on Trustworthy Computing[4] (in cooperation with Computer Science Department at Saarland University, and the Computer Science Department at TU Kaiserslautern). The spokesperson is Anja Feldmann.

Organization

The institute was founded in November 2004, and ever since is actively seeking to augment its plant of researchers. Summing up both locations, the institute has a total capacity of 5 directors, 12 tenure-track or tenured faculty members, and approximately 100 postdocs and doctoral students.

Currently, the institute comprises the following directors:[5]

  • Peter Druschel, head of the Distributed Systems and Operating Systems Group.
  • Derek Dreyer, head of the Foundations of Programming Group.
  • Paul Francis, head of the Large Scale Internet Systems Group.
  • Krishna Gummadi, head of the Networked Systems Group.
  • Rupak Majumdar, head of the Rigorous Software Engineering Group.
  • Joël Ouaknine, head of the Foundations of Algorithmic Verification Group.

and the following tenured or tenure-track faculty members:[5]

  • Bjorn Brandenburg, head of the Real-Time Systems Group.
  • Deepak Garg, head of the Foundations of Computer Security Group.
  • Manuel Gomez Rodriguez, head of the Learning in Networks Group.
  • Antoine Kaufmann.
  • Adish Singla.
  • Mariya Toneva.
  • Viktor Vafeiadis, head of the Software Analysis and Verification Group.
  • Georg Zetzsche.

See also

Notes

  1. ^ "Saarland Informatics Campus".
  2. ^ "Biennial Progress Reports 2013-2015" (PDF).
  3. ^ "International Max Planck Research School for Computer Science".
  4. ^ "International Max Planck Research School on Trustworthy Computing".
  5. ^ a b "People at MPI-SWS – MPI SWS".

Read other articles:

العلاقات الأفغانية اليابانية

العلاقات الأفغانية اليابانية أفغانستان اليابان   أفغانستان   اليابان تعديل مصدري - تعديل   تأسست العلاقات الدبلوماسية الأفغانية اليابانية بشكل رسمي في عام 1931، وذلك على الرغم من تسجيل الاتصالات الأولى في عام 1907 عندما زار الجنرال الأفغاني أيوب خان، الذي هزم ال�...

 

تقويم عبري

تقويم عبري منذ عام 1831 (5591) الشوفار يرمز لعيد رأس السنة العبرية عند اليهود في ايلول جزء من سلسلة مقالات حولاليهود في المشرق تاريخ مملكتي إسرائيل ويهوذا القديمتين تاريخ مملكتي إسرائيل ويهوذا القديمتين ما قبل التاريخ كنعانيون بنو إسرائيل مملكة إسرائيل الموحدة مملكة إسرائيل (...

 

Japan National Route 58

National highway in Kagoshima and Okinawa prefectures, Japan National Route 58国道58号Japan National Route 58 highlighted in redRoute informationLength245.2 km[1] (152.4 mi)Existed1972–presentMajor junctionsFrom National Route 3 / National Route 10 in KagoshimaTo National Route 330 / National Route 331 / National Route 390 in Naha Section 1From National Route 3 / National Route 10 in KagoshimaFromPort of Kagosh...

Anarchist from Colony

Anarchist from ColonyPoster teatrikalNama lainHangul박열 Hanja朴烈 Alih Aksara yang DisempurnakanPark-Yeol SutradaraLee Joon-ikProduserKim Sung-cheolDitulis olehHwang Seong-guPemeranLee Je-hoonChoi Hee-seoPenata musikBang Jun-seokKang Eun-kooSinematograferPark Sung-jooDistributorMegabox Plus MTanggal rilis 28 Juni 2017 (2017-06-28) Durasi129 menitNegaraKorea SelatanBahasaKoreaJepangPendapatankotorUS$16,9 juta[1] Anarchist from Colony (Hangul: 박열; ...

 

Amphibious cycle

Amphibious bike 'Cyclomer', Paris, 1932 An amphibious cycle is a human-powered vehicle capable of operation on both land and water. The design which has received the most coverage is Saidullah’s Bicycle.[1][2] The bike uses four rectangular air filled floats for buoyancy which propelled using two fan blades which were attached to the spokes. Moraga’s Cyclo Amphibious [3] uses a simple tricycle frame to support three floaters which provide both the flotation and th...

 

2022年內華達州州長選舉

2022年內華達州州長選舉 ← 2018 2022年11月8日 2026 →   获提名人 喬·隆巴爾多 史蒂夫·西索拉克 政党 共和黨 民主党 民選得票 497377 481991 得票率 48.8% 47.3% 縣市結果西索拉克:     50–60%     60–70%     70–80%     80–90% 隆巴爾多:     40–50%     50–60% 选前州長 史蒂夫·西索拉克...

Wiley Post–Will Rogers Memorial Airport

Airport serving Utqiaġvik, Alaska, United States For the airports located in Oklahoma City, see Wiley Post Airport and Will Rogers World Airport. For the seaplane base in Seattle, see Will Rogers–Wiley Post Memorial Seaplane Base. Wiley Post–Will Rogers International AirportIATA: BRWICAO: PABRFAA LID: BRWSummaryAirport typePublicOwnerState of Alaska DOT&PF – Northern RegionLocationUtqiaġvik, AlaskaElevation AMSL44 ft / 13 mCoordinates71°17′08″N 156°45′58″W...

 

Vol interplanétaire

Cet article est une ébauche concernant l’astronautique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Un vol interplanétaire est le voyage d'un engin spatial d'une planète à une autre au sein d'un même système planétaire. Ce type de vol est pratiqué depuis le début des années 1960 au sein du système solaire par des sondes spatiales automatisées à des fins scientifiques. Un vol interplanétaire n...

 

Liam Madden

American veteran and anti-war activist Liam MaddenPersonal detailsBorn1983 or 1984 (age 39–40)Riverhead, New York, U.S.Political partyIndependentOther politicalaffiliationsRepublican (2022)SpouseLaurenChildren2EducationCentral Texas College (AA)Northeastern University (BA)OccupationBusinessmanactivistWebsiteCampaign websiteMilitary serviceAllegiance United StatesBranch/service United States Marine CorpsYears of service2003–2007RankSergeantUnit31st Marine Ex...

List of airports in Bihar

PM Narendra Modi at Darbhanga Airport First landing of cargo plane at Bihta Airforce Station Gaya Airport-Bodh Gaya Airport is located in the city Gaya in the state of Bihar, India. The Vice President, Shri Mohd. Hamid Ansari inspecting the Guard of Honour at Jay Prakash Narayan Airport, Patna on June 11, 2008 Under construction view of Muzaffarpur Airport Bihar, a state of India, has airports which have access to international flights, domestic and some non used airstrips for emergency purp...

 

Magnétopause

Vue d'artiste de la magnétosphère terrestre. La magnétopause est la frontière entre la magnétosphère, qui est dominée par le champ magnétique de la planète, et le milieu interplanétaire, qui lui est dominé par le vent solaire (plasma complètement ionisé). Elle est plutôt étanche car elle empêche la majeure partie du vent solaire de pénétrer dans l'environnement de la planète (on parle de « bouclier magnétique »), mais le plasma du vent solaire pénètre partiel...

 

Sayville station

Long Island Rail Road station in Suffolk County, New York SayvilleFire Island FerriesThe view facing east of the tracks, platform and pedestrian bridge taken from where the tracks cross Lakeland AvenueGeneral informationLocationDepot Street & Greeley AvenueSayville, New YorkCoordinates40°44′25″N 73°05′11″W / 40.740388°N 73.086497°W / 40.740388; -73.086497Owned byLong Island Rail RoadPlatforms2 side platformsTracks2ConstructionParkingYes (free)Bicycle fa...

Coppa Italia Dilettanti 2012-2013

Coppa Italia Dilettanti 2012-2013 Competizione Coppa Italia Dilettanti Sport Calcio Edizione 47ª Organizzatore LND Date dal 20 febbraio 2013al 24 aprile 2013 Luogo  ItaliaItalia Partecipanti 19 (686 alle qualificazioni) Risultati Vincitore Fermana(1º titolo) Secondo Audace Cerignola Semi-finalisti CasalincontradaPro Settimo & Eureka Statistiche Incontri disputati 32 Gol segnati 75 (2,34 per incontro) Cronologia della competizione 2011-2012 2013-2014 Manuale La Coppa I...

 

2024 Slovenian referendum

Non-binding referendum on four questions Politics of Slovenia UN Member State(UNSC Member · ECOSOC Member)EU Member State(Eurozone Member · Schengen Area Member)NATO Member StateCouncil of Europe Member StateOECD Member State Constitution Constitutional Court Constitution of Slovenia Executive President of the Republic Nataša Pirc Musar Prime Minister Robert Golob Government Golob Cabinet Legislature Parliament National Council President Marko Lotrič National Assembly Speaker Urška Klako...

 

History of manufactured fuel gases

Drawing the retorts at the Great Gas Establishment Brick Lane, from The Monthly Magazine (1821) The history of gaseous fuel, important for lighting, heating, and cooking purposes throughout most of the 19th century and the first half of the 20th century, began with the development of analytical and pneumatic chemistry in the 18th century. These synthetic fuel gases (also known as manufactured fuel gas, manufactured gas or simply gas) were made by gasification of combustible materials, usuall...

Stasiun Hitoichiba

Stasiun Hitoichiba一日市場駅Stasium Hitoichiba, Agustus 2006Lokasi1358 Misatomeisei, Azumino-shi, Nagano-ken 399-8101 JepangKoordinat36°15′34.61″N 137°54′14.88″E / 36.2596139°N 137.9041333°E / 36.2596139; 137.9041333Ketinggian593.9 meter[1]Operator JR EastJalur■ Jalur ŌitoLetak6.8 km dari MatsumotoJumlah peron1 peron pulauInformasi lainStatusStafKode stasiun37Situs webSitus web resmiSejarahDibuka6 Januari 1915Nama sebelumnyaMeisei Stati...

 

Rapport Beveridge

Cet article est une ébauche concernant le Royaume-Uni. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Le rapport Beveridge. Le rapport Beveridge, officiellement intitulé Report on Social Insurance and Allied Services (« Rapport sur l'assurance sociale et les services connexes »), est un rapport parlementaire britannique publié le 2 décembre 1942 et dédié à la création d'un système social co...

 

Troyca

TROYCA Inc.Logo sejak 23 Mei 2021Nama asli株式会社トロイカNama latinKabushiki-gaisha ToroikaJenisKabushiki gaishaIndustriStudio animasiDidirikanMei 2013Kantor pusatNerima-ku, Tokyo, JepangTokoh kunciEi Aoki, Toshiyuki Nagano, Tomonobu KatoSitus webtroyca.jp Troyca Inc. (Jepang: 株式会社トロイカcode: ja is deprecated , Hepburn: Kabushiki-gaisha Toroika, diformat menjadi TROYCA) (dari bahasa Rusia: тройка - terj. har. tim tiga orang, troika) adalah sebuah studio animas...

Early Muslim conquests

Expansion of the Islamic state (622–750) For later military territorial expansion of Islamic states, see Spread of Islam. Early Muslim conquests  Expansion under Muhammad, 622–632  Expansion under the Rashidun Caliphate, 632–661  Expansion under the Umayyad Caliphate, 661–750Date622–750 CELocation Middle East and North Africa Mediterranean Europe Central Asia South Asia[a] Result Muslim victoryTerritorialchanges Arab dominion (caliphate) establi...

 

Council of Ephesus

Ecumenical council in Ephesus in 431, convened by Emperor Theodosius II This article is about the ecumenical council held in 431. For the two later councils in the same city, see Council of Ephesus (disambiguation). Council of EphesusImage in the church Notre-Dame de Fourvières, France. The priest standing right in the middle is Cyril of Alexandria. On the throne is the Virgin Mary and child Jesus.Date22 June – 31 July 431Accepted by Catholic Church Eastern Orthodox Church Oriental Or...