Max-Planck-Institut für Informatik - Max Planck Institute for Informatics

Max-Planck-Institut für Informatik
Minervampii2.jpg
Logo des Instituts
Abkürzung MPI-INF
Formation 1993 ; Vor 28 Jahren ( 1993 )
Art Forschungsinstitut
Hauptquartier Saarbrücken , Saarland , Deutschland
Webseite www .mpi-inf .mpg .de

Das Max-Planck-Institut für Informatik ( deutsch: Max-Planck-Institut für Informatik , abgekürzt MPI-INF oder MPII ) ist ein Forschungsinstitut der Informatik mit dem Fokus auf Algorithmen und deren Anwendungen im weiteren Sinne. Es beherbergt Grundlagenforschung ( Algorithmen und Komplexität , Programmierlogiken ) sowie Forschung für verschiedene Anwendungsdomänen ( Computergrafik , geometrische Berechnungen , Constraint Solving , Computational Biology ). Es ist Teil der Max-Planck-Gesellschaft , Deutschlands größter öffentlich geförderter Einrichtung der Stiftungsforschung.

Forschungsabteilungen

Max-Planck-Institut für Informatik in Saarbrücken

Anfang 2018 hatte das Institut fünf Direktoren, sogenannte wissenschaftliche Mitglieder. Diese sind:

Neben den Fachbereichen beherbergt das Institut die Forschungsgruppe Automatisierung der Logik unter der Leitung von Christoph Weidenbach . Die Abteilung Programmierlogik wurde bis zu seinem Tod 2004 von Harald Ganzinger geleitet. Die unabhängige Forschungsgruppe für Computergenomik und Epidemiologie wurde von Alice McHardy geleitet .

Das Institut ist zusammen mit dem Max-Planck-Institut für Softwaresysteme (MPI-SWS), dem Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) und dem gesamten Fachbereich Informatik der Universität des Saarlandes am Internationalen Begegnungs- und Forschungszentrum für Informatik beteiligt .

Die International Max Planck Research School for Computer Science (IMPRS-CS) ist die Graduiertenschule des MPII und des MPI-SWS. Es wurde im Jahr 2000 gegründet und bietet in Kooperation mit der Universität des Saarlandes ein vollfinanziertes PhD-Programm an . Dekan ist Gerhard Weikum .

Siehe auch

Verweise

Externe Links

Koordinaten : 49°15′28″N 7°2′44″E / 49,25778°N 7,04556°E / 49.25778; 7.04556