Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

1,25 Millionen Euro für HU-Informatiker

31.05.2012
Förderung im Rahmen der Reinhart Koselleck-Projekte der Deutschen Forschungsgemeinschaft

Prof. Dr. Martin Grohe, Mitglied des Instituts für Informatik der Humboldt-Universität zu Berlin, wird im Rahmen der Reinhart Koselleck-Projekte der Deutschen Forschungsgemeinschaft (DFG) mit 1,25 Millionen Euro in den kommenden fünf Jahren gefördert. Die DFG eröffnet in diesem Rahmen herausragenden Wissenschaftlerinnen und Wissenschaftlern die Möglichkeit, in hohem Maß innovative oder im positiven Sinn risikobehaftete Projekte durchzuführen.

Im Mittelpunkt von Grohes Forschungsprojekt aus dem Gebiet der algorithmischen Graphentheorie steht das Graphenisomorphieproblem, das als eines der wichtigsten offenen Probleme der theoretischen Informatik gilt. Die Graphenisomorphie spielt eine wichtige Rolle, wenn es darum geht, zwei Objekte per Computer auf ihre Gleichheit beziehungsweise Ungleichheit zu untersuchen.

„Die ersten Anwendungen des Problems lagen in der Chemie, wo es um den Vergleich von großen Molekülen ging, die aus vielen Atomen zusammengesetzt sind. Das Problem hat aber auch zahlreiche Anwendungen in der Informatik, beispielsweise in der Künstlichen Intelligenz oder bei der Entwicklung von Programmiersprachen“, erklärt Grohe.

Der theoretische Informatiker, der den Lehrstuhl Logik in der Informatik inne hat, untersucht in diesem Forschungsprojekt mit verschiedenen Ansätzen die Komplexität des Isomorphieproblems. Ziel ist die Entwicklung eines effizienten Algorithmus zur Lösung des Problems. Auch die Studierenden werden profitieren, da eine Vorlesung zum Thema angeboten wird.

„Auch wenn das Problem nach wie vor offen ist, hat es im Laufe der vergangenen vierzig Jahre eine Fülle von Teilergebnissen ganz unterschiedlicher Natur gegeben, die auf Techniken aus verschiedenen Teilgebieten der theoretischen Informatik und der diskreten Mathematik beruhen“, so Grohe. Seit den frühen 1980er Jahren stehen bei der theoretischen Untersuchung des Isomorphieproblems gruppentheoretische Methoden im Vordergrund. Ausgangspunkt für Grohes Herangehensweise hingegen sind Techniken der modernen Graphenstrukturtheorie sowie Techniken aus der Logik, von denen bekannt ist, dass sie in engem Zusammenhang mit kombinatorischen Ansätzen zur Lösung des Isomorphieproblems stehen.

WEITERE INFORMATIONEN
Prof. Dr. Martin Grohe
Institut für Informatik
Humboldt-Universität zu Berlin
Tel: 030 2093-3078
E-Mail: grohe@informatik.hu-berlin.de

Constanze Haase | idw
Weitere Informationen:
http://www.hu-berlin.de

Weitere Berichte zu: DFG HU-Informatiker Isomorphieproblems Koselleck-Projekte Logik

Weitere Nachrichten aus der Kategorie Förderungen Preise:

nachricht CES Innovation Award für kombinierte Blick- und Spracheingabe im Auto
23.01.2018 | Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, DFKI

nachricht Innovationen in der Bionik gesucht!
18.01.2018 | VDI Verein Deutscher Ingenieure e. V.

Alle Nachrichten aus der Kategorie: Förderungen Preise >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Optisches Nanoskop ermöglicht Abbildung von Quantenpunkten

Physiker haben eine lichtmikroskopische Technik entwickelt, mit der sich Atome auf der Nanoskala abbilden lassen. Das neue Verfahren ermöglicht insbesondere, Quantenpunkte in einem Halbleiter-Chip bildlich darzustellen. Dies berichten die Wissenschaftler des Departements Physik und des Swiss Nanoscience Institute der Universität Basel zusammen mit Kollegen der Universität Bochum in «Nature Photonics».

Mikroskope machen Strukturen sichtbar, die dem menschlichen Auge sonst verborgen blieben. Einzelne Moleküle und Atome, die nur Bruchteile eines Nanometers...

Im Focus: Optical Nanoscope Allows Imaging of Quantum Dots

Physicists have developed a technique based on optical microscopy that can be used to create images of atoms on the nanoscale. In particular, the new method allows the imaging of quantum dots in a semiconductor chip. Together with colleagues from the University of Bochum, scientists from the University of Basel’s Department of Physics and the Swiss Nanoscience Institute reported the findings in the journal Nature Photonics.

Microscopes allow us to see structures that are otherwise invisible to the human eye. However, conventional optical microscopes cannot be used to image...

Im Focus: Vollmond-Dreierlei am 31. Januar 2018

Am 31. Januar 2018 fallen zum ersten Mal seit dem 30. Dezember 1982 "Supermond" (ein Vollmond in Erdnähe), "Blutmond" (eine totale Mondfinsternis) und "Blue Moon" (ein zweiter Vollmond im Kalendermonat) zusammen - Beobachter im deutschen Sprachraum verpassen allerdings die sichtbaren Phasen der Mondfinsternis.

Nach den letzten drei Vollmonden am 4. November 2017, 3. Dezember 2017 und 2. Januar 2018 ist auch der bevorstehende Vollmond am 31. Januar 2018 ein...

Im Focus: Maschinelles Lernen im Quantenlabor

Auf dem Weg zum intelligenten Labor präsentieren Physiker der Universitäten Innsbruck und Wien ein lernfähiges Programm, das eigenständig Quantenexperimente entwirft. In ersten Versuchen hat das System selbständig experimentelle Techniken (wieder)entdeckt, die heute in modernen quantenoptischen Labors Standard sind. Dies zeigt, dass Maschinen in Zukunft auch eine kreativ unterstützende Rolle in der Forschung einnehmen könnten.

In unseren Taschen stecken Smartphones, auf den Straßen fahren intelligente Autos, Experimente im Forschungslabor aber werden immer noch ausschließlich von...

Im Focus: Artificial agent designs quantum experiments

On the way to an intelligent laboratory, physicists from Innsbruck and Vienna present an artificial agent that autonomously designs quantum experiments. In initial experiments, the system has independently (re)discovered experimental techniques that are nowadays standard in modern quantum optical laboratories. This shows how machines could play a more creative role in research in the future.

We carry smartphones in our pockets, the streets are dotted with semi-autonomous cars, but in the research laboratory experiments are still being designed by...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

Veranstaltungen

15. BF21-Jahrestagung „Mobilität & Kfz-Versicherung im Fokus“

23.01.2018 | Veranstaltungen

Gemeinsam innovativ werden

23.01.2018 | Veranstaltungen

Leichtbau zu Ende gedacht – Herausforderung Recycling

23.01.2018 | Veranstaltungen

VideoLinks Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

Lebensrettende Mikrobläschen

23.01.2018 | Biowissenschaften Chemie

3D-Druck von Metallen: Neue Legierung ermöglicht Druck von sicheren Stahl-Produkten

23.01.2018 | Maschinenbau

CHP1-Mutation verursacht zerebelläre Ataxie

23.01.2018 | Biowissenschaften Chemie

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics