idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Medieninformation der TU Berlin Nr. 155 vom 22. Juni 2006
Ganz jung und schon berufen: Prof. Dr. Sabine Glesner leitet an der TU Berlin das Fachgebiet "Programmierung eingebetteter Systeme"
Die Qualitätssicherung für eingebettete Systeme ist daher ein wichtiger Schwerpunkt in der Forschung von Prof. Glesner. Eine Methode, Softwaresysteme zu überprüfen, ist das Testen, eine andere - und daran forscht Prof. Glesner - ist die Verifikation, das heißt die mathematische Beweisführung, dass ein System und die eingesetzten Systemkomponenten korrekt arbeiten.
Ein anderer wichtiger Forschungsschwerpunkt von Prof. Glesner sind Compiler. Compiler sind Übersetzer. Sie transformieren Programme, die ein Mensch schreibt, in Programme, die ein Rechner versteht. Compiler müssen also fehlerfrei arbeiten. "Zudem müssen sie die Architektur von modernen Prozessoren ausnutzen können, um dafür einen optimierten Maschinencode (ausführbare Programme) zu erzeugen", so Glesner. Ihr Forschungsprojekt "Verifikation und Optimierung bei der Übersetzung höherer Programmiersprachen" beschäftigt sich mit diesem Problem. "Wir wollen eine Methodik entwickeln, mit der korrekte und optimierte Programme für neueste Formen von Prozessorarchitekturen erzeugt werden können", erklärt sie.
Das Projekt ist Teil des Aktionsplans Informatik, der zum Emmy Noether-Programm der Deutschen Forschungsgemeinschaft (DFG) gehört. Die DFG fördert dieses fünfjährige For-schungsprojekt mit einer Million Euro.
Nicht nur die Summe ist ein Verweis darauf, dass hier hervorragende Forschung betrieben wird. Das Emmy Noether-Programm der DFG selbst steht für die Förderung herausragender Nachwuchswissenschaftler. Denn Sabine Glesner, die an der TU Darmstadt Informatik studierte, als Fulbright-Stipendiatin an der University of California in Berkeley (USA) ihren Master of Science erwarb und sich nach ihrer Promotion an der Universität Karlsruhe habilitierte, war gerade einmal 33 Jahre alt, als sie den Ruf an die TU Berlin erhielt. Das durchschnittliche Habilitationsalter in der Informatik liegt in Deutschland bei 39 Jahren.
Prof. Dr. Sabine Glesner gehört auch zum Team des Forschungsclusters "Human Centric Communication Cluster" (H-C3) der TU Berlin. Der Cluster zählt zu den Projekten, die von der DFG und dem Wissenschaftsrat aufgefordert wurden, sich im Exzellenzwettbewerb der deutschen Universitäten um eine Förderung als eines von 15 Exzellenzclustern zu bewerben.
Weitere Informationen erteilt Ihnen gern: Prof. Dr. Sabine Glesner, Institut für Softwaretechnik und Theoretische Informatik der TU Berlin, Fachgebiet Programmierung eingebette-ter Systeme, Franklinstr. 28/29, 10587 Berlin, Tel.: 030/314-73258, E-Mail: glesner@cs.tu-berlin.de
Diese Medieninformation finden Sie auch im Internet unter der Adresse:
http://www.tu-berlin.de/presse/pi/2006/pi155.htm
Criteria of this press release:
Economics / business administration, Information technology
transregional, national
Personnel announcements, 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).
