Max Planck Institute for Computer Science
Max Planck Institute for Computer Science | |
---|---|
![]() Based in Saarbrücken |
|
Category: | research Institute |
Carrier: | Max Planck Society |
Legal form of the carrier: | Registered association |
Seat of the wearer: | Munich |
Facility location: | Saarbrücken |
Type of research: | Basic research |
Subjects: | Natural sciences |
Areas of expertise: | Computer science |
Basic funding: | Federal government (50%), states (50%) |
Management: | Kurt Mehlhorn |
Homepage: | www.mpi-inf.mpg.de |
The Max Planck Institute for Computer Science (MPI-INF) is an institute of the Max Planck Society ; It is located on the campus of Saarland University in Saarbrücken and was founded in 1988.
The Max Planck Institute for Computer Science focuses its scientific research on algorithms and their applications in the broadest sense. The interests range from basic research (algorithms and complexity, logic of programming) to a number of application areas ( computer graphics , geometric computation, constraint solving, program verification , databases and information systems, bioinformatics ). The aim of the institute is to achieve an impact through scientific publications, software systems and the training of young academics.
Numerous awards since the establishment of the institute are indicators of success: among others, Hans-Peter Seidel was awarded the Leibniz Prize in 2003 and Thomas Lengauer was awarded the Konrad Zuse Medal in 2003. Friedrich Eisenbrand received the Heinz Maier-Leibnitz Prize of the DFG in 2004 .
Working groups
The MPII is divided into five departments and a research group:
- The AG1 “Algorithms and Complexity” was founded in 1988 under the direction of Kurt Mehlhorn and deals with the complexity of algorithms, the finding of heuristics for NP-complete problems and with geometric algorithms. The software libraries LEDA (Library of Efficient Data types and Algorithms), CGAL (Computational Geometry Algorithms Library) and SILVIA (Simulation Library for Virtual Reality and Interactive Applications) were developed by this working group.
- The former AG2 “Logic of Programming” was founded in 1991 under the direction of Harald Ganzinger and dealt with automatic theorem proofs and deductive methods of program analysis. She was involved in the Verisoft projects for the verification of security-relevant software and AVACS for holistic software verification strategies. After Ganzinger's death on June 3, 2004, Thomas Lengauer took over the provisional management.
- The AG3 “Bioinformatics and Applied Algorithmics” was founded in 2001 under the direction of Thomas Lengauer and deals with the applications of computer science in biology.
- The AG4 "Computer Graphics" was founded in 1998 under the direction of Hans-Peter Seidel and deals with the analysis and synthesis of three-dimensional images, as well as the development of models and tools that can handle the large amount of data involved in the acquisition 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, with the correctness being proven and response times guaranteed. In addition, the systems should be highly available and deliver satisfactory results. The working group takes part in the EU projects DELIS (Dynamically Evolving Large-Scale Information Systems) and DELOS, as well as the German research projects P2E2 for researching networks between industrial companies and CLASSIX for the procurement of information from XML-based data.
- The research group RG1 "Automation of Logic" has existed since September 2005 and deals with automatic computing in predicate logic. The research group is headed by Christoph Weidenbach.
- AG2 was newly founded in 2010, headed by Bernt Schiele. The work areas of the group are computer vision with a focus on object recognition and 3D scene description as well as multi-sensor-based context recognition in the field of ubiquitous and wearable computing.
In addition, during the time of the institute's existence there were three independent young research groups:
- Static analysis of programs (expired after Bruno Blanchet left in 2004)
- Discrete optimization (under the direction of Friedrich Eisenbrand )
- Vision (led by - Graphics - Optics Marcus A. Magnor ,) since the beginning of 2006 as the Institute for Computer Graphics at the Technical University of Braunschweig continued
The research group "Machine Learning" was founded in January 2007 at the MPII and has been continued at the University of Potsdam since 2008. Its director is Tobias Scheffer.
International Max Planck Research School for Computer Science
In cooperation with Saarland University, the International Max Planck Research School for Computer Science (IMPRS-CS) was founded in 2000. It is the English-language graduate school of the MPI for Computer Science and the MPI for Software Systems . In an international research environment, young scientists are promoted and led to a doctorate. The Dean is Gerhard Weikum .
Max Planck Center for Visual Computing and Communication
A cooperation between the Max Planck Society and Stanford University was set up in October 2003 with the Max Planck Center for visual computing and communication (MPC-VCC) . It should enable joint research projects in the research area of information technology, " Visual Computing and Communication". Another goal of the cooperation is to create an international exchange of scientists. The management of the MPC-VCC on the German side is taken over by Hans-Peter Seidel , in Stanford Bernd Girod and Leonidas J. Guibas are the directors.
Research environment
In top German research, the institute is in addition to the Max Planck Institute for Software Systems , the German Research Center for Artificial Intelligence (DFKI) , the entire subject of computer science at Saarland University, and the International Meeting and Research Center for Computer Science , Schloss Dagstuhl, in integrated into the Kaiserslautern-Saarbrücken Computer Science Cluster. This also offers a wide range of opportunities for further academic qualification.
See also
Web links
- Homepage of the MPII
- IMPRS for Computer Science
- Max Planck Center for Visual Computing and Communication
- MPI publications in the MPG's eDoc server
- Literature on the Max Planck Institute for Computer Science in the Saarland Bibliography
Individual evidence
- ↑ see homepage at http://www.imprs-cs.de/
Coordinates: 49 ° 15 ′ 28.4 " N , 7 ° 2 ′ 45" E