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
Merkmale dieser Pressemitteilung:
Informationstechnik, Wirtschaft
überregional
Forschungsprojekte, Personalia
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).
