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 Verleihung GreenTec Awards 2018 – Kategorie »Energie« am 24. April 2018 auf der Hannover Messe
23.04.2018 | Fraunhofer-Institut für Solare Energiesysteme ISE

nachricht 31,5 Millionen Euro für Forschungsinstitute der Innovationsallianz Baden-Württemberg (InnBW)
20.04.2018 | Ministerium für Wirtschaft, Arbeit und Wohnungsbau Baden-Württemberg

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: Moleküle brillant beleuchtet

Physiker des Labors für Attosekundenphysik, der Ludwig-Maximilians-Universität und des Max-Planck-Instituts für Quantenoptik haben eine leistungsstarke Lichtquelle entwickelt, die ultrakurze Pulse über einen Großteil des mittleren Infrarot-Wellenlängenbereichs generiert. Die Wissenschaftler versprechen sich von dieser Technologie eine Vielzahl von Anwendungen, unter anderem im Bereich der Krebsfrüherkennung.

Moleküle sind die Grundelemente des Lebens. Auch wir Menschen bestehen aus ihnen. Sie steuern unseren Biorhythmus, zeigen aber auch an, wenn dieser erkrankt...

Im Focus: Molecules Brilliantly Illuminated

Physicists at the Laboratory for Attosecond Physics, which is jointly run by Ludwig-Maximilians-Universität and the Max Planck Institute of Quantum Optics, have developed a high-power laser system that generates ultrashort pulses of light covering a large share of the mid-infrared spectrum. The researchers envisage a wide range of applications for the technology – in the early diagnosis of cancer, for instance.

Molecules are the building blocks of life. Like all other organisms, we are made of them. They control our biorhythm, and they can also reflect our state of...

Im Focus: Metalle verbinden ohne Schweißen

Kieler Prototyp für neue Verbindungstechnik wird auf Hannover Messe präsentiert

Schweißen ist noch immer die Standardtechnik, um Metalle miteinander zu verbinden. Doch das aufwändige Verfahren unter hohen Temperaturen ist nicht überall...

Im Focus: Software mit Grips

Ein computergestütztes Netzwerk zeigt, wie die Ionenkanäle in der Membran von Nervenzellen so verschiedenartige Fähigkeiten wie Kurzzeitgedächtnis und Hirnwellen steuern können

Nervenzellen, die auch dann aktiv sind, wenn der auslösende Reiz verstummt ist, sind die Grundlage für ein Kurzzeitgedächtnis. Durch rhythmisch aktive...

Im Focus: Der komplette Zellatlas und Stammbaum eines unsterblichen Plattwurms

Von einer einzigen Stammzelle zur Vielzahl hochdifferenzierter Körperzellen: Den vollständigen Stammbaum eines ausgewachsenen Organismus haben Wissenschaftlerinnen und Wissenschaftler aus Berlin und München in „Science“ publiziert. Entscheidend war der kombinierte Einsatz von RNA- und computerbasierten Technologien.

Wie werden aus einheitlichen Stammzellen komplexe Körperzellen mit sehr unterschiedlichen Funktionen? Die Differenzierung von Stammzellen in verschiedenste...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Fraunhofer eröffnet Community zur Entwicklung von Anwendungen und Technologien für die Industrie 4.0

23.04.2018 | Veranstaltungen

Mars Sample Return – Wann kommen die ersten Gesteinsproben vom Roten Planeten?

23.04.2018 | Veranstaltungen

Internationale Konferenz zur Digitalisierung

19.04.2018 | Veranstaltungen

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

Moleküle brillant beleuchtet

23.04.2018 | Physik Astronomie

Sauber und effizient - Fraunhofer ISE präsentiert Wasserstofftechnologien auf Hannover Messe

23.04.2018 | HANNOVER MESSE

Fraunhofer IMWS entwickelt biobasierte Faser-Kunststoff-Verbunde für Leichtbau-Anwendungen

23.04.2018 | Materialwissenschaften

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