Algorithmus entschlüsselt Gene: Forschungsprojekt erhält EU-Förderung in Millionenhöhe
Genetisch bedingte Krankheiten leichter identifizieren - das ermöglichen erste Ergebnisse des Forschungsprojekts Model Checking Unleashed, das Martin Lange, Juniorprofessor für Theoretische Informatik, zurzeit an der Uni Kassel, leitet. Für die Bioinformatik entwickelten Lange und sein Team einen neuen Suchalgorithmus, der bei einem Vergleich der DNA verschiedener Individuen gemeinsame Sequenzen besser auffindet.
Somit wird ein Rückschluss auf genetisch bedingte Krankheiten erleichtert. Für sein Forschungsvorhaben bewilligte ihm nun die Europäische Forschungskommission für einen Zeitraum von fünf Jahren ein Fördergeld von rund 1,36 Mio. Euro im Rahmen des Programms „Starting Independent Researcher Grants“.
Ziel des Forschungsprojekts ist es, die in den 1980er Jahren entwickelte Technik Model Checking auf neue Problemfelder zu übertragen und für verschiedene Gebiete der Informatik nutzbar zu machen. Model Checking bezeichnet ein vollautomatisches Verfahren, bei dem ein spezifischer Algorithmus überprüft, ob ein Computerprogramm sich korrekt ausführt, also beispielsweise nicht abstürzt. Lange konnte in seiner noch unveröffentlichten Arbeit aufzeigen, wie solche Model Checking-Algorithmen auf typische Problemstellungen der Informatik angewandt werden können. So lassen sich beispielsweise für die Computerlinguistik Programme entwickeln, die aus einer Aneinanderreihung von Wörtern eine Satzstruktur und Bedeutungszusammenhänge erkennen können.
Weitere News aus dem Ressort Wissenschaft
