Max Planck Institute for Computer Science

Max Planck Institute for Computer Science
Max Planck Institute for Computer Science
Baseret i Saarbrücken
Kategori: forskningsinstitut
Transportør: Max Planck Society
Juridisk form for transportøren: Registreret forening
Bærersæde: München
Anlægs placering: Saarbrücken
Type forskning: Grundlæggende forskning
Emner: Naturvidenskab
Spidskompetencer: Computer videnskab
Grundlæggende finansiering: Forbundsregering (50%), stater (50%)
Ledelse: Kurt Mehlhorn
Hjemmeside: www.mpi-inf.mpg.de
Max Planck Institute for Computer Science

Den Max Planck Instituttet for Datalogi (MPI-INF) er et institut for Max Planck Society ; det ligger på campus ved Saarland University i Saarbrücken og blev grundlagt i 1988.

Max Planck Institute for Computer Science fokuserer sin videnskabelige forskning på algoritmer og deres applikationer i bredeste forstand. Interesserne spænder fra grundlæggende forskning (algoritmer og kompleksitet, programmeringslogik) til en række anvendelsesområder ( computergrafik , geometrisk beregning, begrænsningsløsning, programverifikation , databaser og informationssystemer, bioinformatik ). Instituttets mål er at opnå en effekt gennem videnskabelige publikationer, softwaresystemer og uddannelse af unge akademikere.

Talrige priser siden instituttets oprettelse er indikatorer for succes: blandt andet blev Hans-Peter Seidel tildelt Leibniz-prisen i 2003, og Thomas Lengauer blev tildelt Konrad Zuse-medaljen i 2003. Friedrich Eisenbrand modtog DFG 's Heinz Maier-Leibnitz-pris i 2004 .

Arbejdsgrupper

MPII er opdelt i fem afdelinger og en forskningsgruppe:

  • AG1 “Algoritmer og kompleksitet” blev grundlagt i 1988 under ledelse af Kurt Mehlhorn og beskæftiger sig med kompleksiteten af ​​algoritmer, konstateringen af ​​heuristikker til NP-komplette problemer og med geometriske algoritmer. Softwarebibliotekerne LEDA (Library of Effective Data types and Algorithms), CGAL (Computational Geometry Algorithms Library) og SILVIA (Simulation Library for Virtual Reality and Interactive Applications) blev udviklet af denne arbejdsgruppe.
  • Den tidligere AG2 "Logic of Programming" blev grundlagt i 1991 under ledelse af Harald Ganzinger og beskæftigede sig med automatiske sætningsbeviser og deduktive metoder til programanalyse. Hun var involveret i Verisoft- projekterne til verifikation af sikkerhedsrelevant software og AVACS til holistiske softwareverifikationsstrategier. Efter Ganzingers død den 3. juni 2004 overtog Thomas Lengauer den midlertidige ledelse.
  • AG3 "Bioinformatik og anvendt algoritmik" blev grundlagt i 2001 under ledelse af Thomas Lengauer og beskæftiger sig med anvendelsen af ​​datalogi i biologi.
  • AG4 "Computer Graphics" blev grundlagt i 1998 under ledelse af Hans-Peter Seidel og beskæftiger sig med analyse og syntese af tredimensionelle billeder samt udvikling af modeller og værktøjer, der kan håndtere den store mængde data involveret i erhvervelse og behandling af billeddata. Derudover udvikles og testes algoritmer til billedbehandling i praksis.
  • I oktober 2003 blev AG5 “Databaser og informationssystemer” grundlagt under ledelse af Gerhard Weikum . Det handler om kvaliteten af ​​internetbaserede informationssystemer, hvor korrektheden dokumenteres og responstider garanteres. Derudover skal systemerne være meget tilgængelige og levere tilfredsstillende resultater. Arbejdsgruppen deltager i EU-projekterne DELIS (Dynamically Evolving Large-Scale Information Systems) og DELOS samt de tyske forskningsprojekter P2E2 til forskning i netværk mellem industrielle virksomheder og CLASSIX til indkøb af information fra XML-baserede data.
  • Forskningsgruppen RG1 "Automation of Logic" har eksisteret siden september 2005 og beskæftiger sig med automatisk computing i predikatlogik. Forskningsgruppen ledes af Christoph Weidenbach.
  • AG2 blev nystiftet i 2010 ledet af Bernt Schiele. Gruppens arbejdsområder er computersyn med fokus på objektgenkendelse og 3D-scenebeskrivelse samt multisensorbaseret kontekstgenkendelse inden for allestedsnærværende og bærbar computing.

Derudover var der i løbet af instituttets eksistens tre uafhængige unge forskningsgrupper:

Forskningsgruppen "Machine Learning" blev grundlagt i januar 2007 på MPII og er blevet videreført ved universitetet i Potsdam siden 2008. Hovedet er Tobias Scheffer.

International Max Planck Research School for Computer Science

I samarbejde med Saarland University blev International Max Planck Research School for Computer Science (IMPRS-CS) grundlagt i 2000. Det er den engelsksprogede kandidatskole fra MPI for datalogi og MPI for softwaresystemer . I et internationalt forskningsmiljø forfremmes unge forskere og føres til en doktorgrad. Dekanen er Gerhard Weikum .

Max Planck Center for Visual Computing og Kommunikation

Et samarbejde mellem Max Planck Society og Stanford University blev etableret i oktober 2003 med Max Planck Center for visual computing and communication (MPC-VCC) . Den bør muliggøre fælles forskningsprojekter inden for informationsteknologi, " Visual Computing and Communication". Et andet mål med samarbejdet er at skabe en international udveksling af forskere. Ledelsen af ​​MPC-VCC på tysk side overtages af Hans-Peter Seidel , i Stanford Bernd Girod og Leonidas J. Guibas er direktører.

Forskningsmiljø

I top-tysk forskning er instituttet ud over Max Planck Institute for Software Systems , det tyske forskningscenter for kunstig intelligens (DFKI) , hele emnet datalogi ved University of Saarland samt det internationale møde- og forskningscenter for datalogi , Schloss Dagstuhl, i integreret i Kaiserslautern-Saarbrücken Computer Science Cluster. Dette giver også en bred vifte af muligheder for yderligere akademisk kvalifikation.

Se også

Weblinks

Individuelle beviser

  1. ↑ se hjemmesiden på http://www.imprs-cs.de/

Koordinater: 49 ° 15 '28 .4 "  N , 7 ° 2 '45"  E