idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Kassel. 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.
ed/p
1.470 Zeichen
Info
Prof. Dr. Martin Lange
Universität Kassel
Fachbereich Elektrotechnik/Informatik
Tel (0561) 804 6261
E-Mail martin.lange@uni-kassel.de
Merkmale dieser Pressemitteilung:
Informationstechnik
überregional
Forschungsprojekte
Deutsch
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).
