Max Planck Institute for Computer Science

The Max Planck Institute computer science ( MPII ) is an institute of the Max Planck Society; It has its headquarters on the campus of Saarland University in Saarbrücken, and was founded in 1988.

The Max Planck Institute for computer science directs its scientific research especially on algorithms and their applications in the broadest sense. The interest ranges from basic research (algorithms and complexity, programming logics ) to a number of applications ( Computer Graphics, Geometric Computation, constraint solving, program verification, databases and information systems, bioinformatics ). The aim of the Institute is to achieve effect equally through scientific publications, software systems and training of young academics.

Indicators for success are numerous awards since the founding of the Institute: among others, Hans -Peter Seidel 2003 Leibniz Prize winners, and Thomas Lengauer awarded in 2003 as a support of the Konrad -Zuse- Medal. Friedrich Eisenbrand was awarded the 2004 Heinz Maier- Leibnitz Prize of the DFG.

Working groups

The MPII is divided into five divisions and one research group:

  • The AG1 " algorithms and complexity " was founded in 1988 under the direction of Kurt Mehlhorn and deals with the complexity of algorithms, finding heuristics for NP- complete problems and with geometric algorithms. From this working group ( Simulation Library for Virtual Reality and Interactive Applications) were among other things the software libraries LEDA (Library of Efficient Data types and Algorithms ) CGAL ( Computational Geometry Algorithms Library ), and SILVIA developed.
  • The former AG2 " logic programming " was founded in 1991 under the direction of Harald Ganzinger and engaged in automatic theorem proving and deductive methods of program analysis. She was involved in the projects Verisoft for the verification of safety-related software and AVACS for holistic strategies of software verification. After Death Full Inger on June 3, 2004, Thomas Lengauer took over as acting head.
  • The AG3 " Computational Biology and Applied Algorithmics" was founded in 2001 under the direction of Thomas Lengauer and deals with the applications of computer science in biology.
  • WG4 " Computer Graphics " was founded in 1998 under the direction of Hans -Peter Seidel and deals with analysis and synthesis of three-dimensional images, and the development of models and tools that can handle the large volume of data in the collection and processing of image data. In addition, algorithms for image processing are developed and tested in practice.
  • In October 2003 AG5 " Databases and Information Systems " was founded under the direction of Gerhard Weikum. It deals with the quality of Internet - based information systems, the correctness proof and response times should be guaranteed. In addition, the systems need to be highly available and deliver satisfying results. The group participates in the EU projects DELIS ( Dynamically Evolving Large - Scale Information Systems) and DELOS, and the German research projects P2E2 for research networking between industrial companies and CLASSIX to obtain information from XML -based data.
  • Since September 2005 there has been research group RG1 "Automation of Logic ", which deals with the automatic calculation in predicate logic. The research group is led by Christoph Weidenbach.

Moreover, there was in the time of the existence of the Institute so far, three independent research groups:

  • Static analysis of programs ( after leaving Bruno Blanchet in 2004 expired )
  • Discrete Optimization ( under the direction of Friedrich Eisenbrand )
  • Graphics - Optics - Vision ( under the direction of Marcus A. Magnor ), continued as the Institute for Computer Graphics at the Technical University of Braunschweig since early 2006

The research group " Machine Learning " was founded in January 2007 on MPII and is continued at the University of Potsdam since 2008. Its director is Tobias Scheffer.

International Max Planck Research School ( IMRPS )

In cooperation with the University of the Saarland, the International Max Planck Research School for Computer Science ( IMPRS- CS) was founded in 2000. She is the English-language graduate school of computer science MPI and the MPI for Software Systems. In an international research environment young scientists are encouraged and led to the promotion. Dean is Gerhard Weikum.

Max Planck Center for Visual Computing and Communication

With the Max Planck Center for visual computing and communication (MPC - VCC), a collaboration between the Max - Planck Society and Stanford University was established in October 2003. You should in the research field of information technology, the " Visual Computing and Communication " allow ( Visual Computing and Communication ) joint research projects. Another aim of the cooperation is to create an international exchange of scientists. The management of the MPC - VCC on the German side takes over Hans -Peter Seidel, in Stanford is the manager Bernd Girod.

Research environment

In the German -edge research, the Institute is adjacent to the Max Planck Institute for Software Systems, the German Research Center for Artificial Intelligence ( DFKI), the entire field of study computer science at the University of the Saarland, and the International Conference and Research Center for computer science, Schloss Dagstuhl, in the Kaiserslautern -Saarbrücken computer Science Cluster involved. This will also provide numerous opportunities for further academic qualifications.

Natural science Hans-Peter Seidel Response time (technology)
558519
de