Algorithmus entschlüsselt Gene: Forschungsprojekt erhält EU-Förderung in Millionenhöhe
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.
Info
Prof. Dr. Martin Lange
Universität Kassel
Fachbereich Elektrotechnik/Informatik
Tel (0561) 804 6261
E-Mail martin.lange@uni-kassel.de
Media Contact
Weitere Informationen:
http://www.uni-kassel.deAlle Nachrichten aus der Kategorie: Informationstechnologie
Neuerungen und Entwicklungen auf den Gebieten der Informations- und Datenverarbeitung sowie der dafür benötigten Hardware finden Sie hier zusammengefasst.
Unter anderem erhalten Sie Informationen aus den Teilbereichen: IT-Dienstleistungen, IT-Architektur, IT-Management und Telekommunikation.
Neueste Beiträge
Stofftrennung trifft auf Energiewende
Trennkolonnen dienen der Separation von unterschiedlichsten Stoffgemischen in der chemischen Industrie. Die steigende Nutzung erneuerbarer Energiequellen bringt nun jedoch neue Anforderungen für einen flexibleren Betrieb mit sich. Im Projekt ColTray…
Funktionalisiertes Chitosan als biobasiertes Flockungsmittel
… für die Aufbereitung komplexer Abwässer. Forschende am Fraunhofer-Institut für Grenzflächen- und Bioverfahrenstechnik IGB haben ein biobasiertes und funktionalisiertes Flockungsmittel entwickelt, mit dem sich Abwässer mit komplexen Inhaltsstoffen effizient aufreinigen…
„Lücke“ bei CO2-Entnahmen
MCC-geführtes Forschungsteam beziffert erstmals die „Lücke“ bei CO2-Entnahmen. In Anlehnung an den Emissions Gap Report der Uno. Pläne der Staaten zum Zurückholen aus der Atmosphäre sind nicht auf dem Pfad…
