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
Criteria of this press release:
Information technology
transregional, national
Research projects
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).
