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 German Design Award 2020 für Sensorschleuse Argus von dormakaba
09.12.2019 | dormakaba Deutschland GmbH

nachricht Höchster deutscher Forschungspreis geht nach Freiburg
05.12.2019 | Universitätsklinikum Freiburg

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: Geminiden - Die Wünsch-dir-was-Sternschnuppen vor Weihnachten

Gemeinsame Pressemitteilung der Vereinigung der Sternfreunde (VdS) und des Hauses der Astronomie in Heidelberg - Die Geminiden, die Mitte Dezember zu sehen sind, sind der "zuverlässigste" der großen Sternschnuppen-Ströme mit bis zu 120 Sternschnuppen pro Stunde. Leider stört in diesem Jahr der Mond zur besten Beobachtungszeit.

Sie wurden nach dem Sternbild Zwillinge benannt: Die „Geminiden“ sorgen Mitte Dezember immer für ein schönes Sternschnuppenschauspiel. In diesem Jahr sind die...

Im Focus: Electronic map reveals 'rules of the road' in superconductor

Band structure map exposes iron selenide's enigmatic electronic signature

Using a clever technique that causes unruly crystals of iron selenide to snap into alignment, Rice University physicists have drawn a detailed map that reveals...

Im Focus: Das 136 Millionen Atom-Modell: Wissenschaftler simulieren Photosynthese

Die Umwandlung von Sonnenlicht in chemische Energie ist für das Leben unerlässlich. In einer der größten Simulationen eines Biosystems weltweit haben Wissenschaftlerinnen und Wissenschaftler diesen komplexen Prozess an einem Bestandteil eines Bakteriums nachgeahmt – am Computer, Atom um Atom. Die Arbeit, die jetzt in der renommierten Fachzeitschrift „Cell“ veröffentlicht wurde, ist ein wichtiger Schritt zum besseren Verständnis der Photosynthese in einigen biologischen Strukturen. An der internationalen Forschungskooperation unter Leitung der University of Illinois war auch ein Team der Jacobs University Bremen beteiligt.

Das Projekt geht zurück auf eine Initiative des inzwischen verstorbenen, deutsch-US-amerikanischen Physikprofessors Klaus Schulten von der University of...

Im Focus: Developing a digital twin

University of Texas and MIT researchers create virtual UAVs that can predict vehicle health, enable autonomous decision-making

In the not too distant future, we can expect to see our skies filled with unmanned aerial vehicles (UAVs) delivering packages, maybe even people, from location...

Im Focus: Freiformflächen bis zu 80 Prozent schneller schlichten: Neue Werkzeuge und Algorithmen für die Fräsbearbeitung

Beim Schlichtfräsen komplexer Freiformflächen können Kreissegment- oder Tonnenfräswerkzeuge jetzt ihre Vorteile gegenüber herkömmlichen Werkzeugen mit Kugelkopf besser ausspielen: Das Fraunhofer-Institut für Produktionstechnologie IPT aus Aachen entwickelte im Forschungsprojekt »FlexiMILL« gemeinsam mit vier Industriepartnern passende flexible Bearbeitungsstrategien und implementierte diese in eine CAM-Software. Auf diese Weise lassen sich große frei geformte Oberflächen nun bis zu 80 Prozent schneller bearbeiten.

Ziel im Projekt »FlexiMILL« war es, für die Bearbeitung mit Tonnenfräswerkzeugen nicht nur neue, verbesserte Werkzeuggeometrien zu entwickeln, sondern auch...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

QURATOR 2020 – weltweit erste Konferenz für Kuratierungstechnologien

04.12.2019 | Veranstaltungen

Die Zukunft der Arbeit

03.12.2019 | Veranstaltungen

Intelligente Transportbehälter als Basis für neue Services der Intralogistik

03.12.2019 | Veranstaltungen

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

Vulkan „F“ ist der Ursprung der schwimmenden Steine

09.12.2019 | Geowissenschaften

Magnetschwebetrennung in der Drogenfahndung - Analyse illegaler Substanzen in Pulver durch magnetische Levitation

09.12.2019 | Biowissenschaften Chemie

Luftverschmutzung: IASS legt erstes Emissionsinventar für Nepal vor

09.12.2019 | Ökologie Umwelt- Naturschutz

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