Institute of Computer Languages
Compilers and Languages Group

Talks 2007 - Sabine Glesner

The Compilers and Languages Group invites you to a talk given by

Prof. Dr. Sabine Glesner

Fachgebiet Programmierung eingebetteter Systeme Technische Universit├Ąt Berlin, Deutschland, Web:


Correct and Efficient Software Systems: Pie in the Sky or Viable Vision?

Date: Monday, June 25th, 2007
Time: 16:00 (c.t.)
Location: TU Wien, Elektrotechnik, EI 5 Hochenegg-Hörsaal, Gusshausstra├če 25-29 (Altbau), 2. Stock


The construction of correct software has been an important goal since the commencements of computer science and has not lost importance ever since. It is an even bigger challenge to keep the efficiency of correct systems comparable to that of non-verified ones. Since information-based systems are used increasingly also in safety-critical parts of our lives, it is an urgent problem how reliability and correctness of such systems can be ensured. Also customers of less safety-critical systems more and more demand to improve reliability whereas a couple of years ago, enhancing efficiency and functionality has been their primary interest.

In this talk, I demonstrate how efficient as well as correct systems can be constructed. This question comes up on almost all levels of system and software construction, starting from software component systems, to compilers, to hardware/software co-design. I discuss typical problems and solutions from the area of verification of optimizing compilers as well as from the area of verification of model transformations and model-driven software development. I not only show how correctness proofs formulated in theorem provers can be connected to real software systems but also demonstrate how the proof principles employed during verification can be reused in further application areas as well. Concludingly, I give an overview over further research topics in my group.

About Prof. Dr. Sabine Glesner:

Sabine Glesner is Professor for Computer Science at the Technical University of Berlin. She graduated with a Master of Science in Computer Science from the University of California, Berkeley, in 1994, meanwhile being funded by a Fulbright grant. She then finished her studies in computer science at the Technical University of Darmstadt "with distinction", thus receiving an Informatik-Diplom in 1996. In 1999, Sabine Glesner obtained her PhD in computer science "with distinction" at the University of Karlsruhe and shared the Förderpreis des Forschungszentrums Informatik for the best PhD thesis in the computer science department in Karlsruhe in 1999. In 2005, she finished her habilitation. In the same year, she accepted an offer of a professorship from the Technical University of Berlin and rejected another one at the University of Rostock. Her research has been funded, among others, by the Aktionsplan Informatik as part of the Emmy Noether-Programm of the German Science Foundation (DFG). Sabine Glesner works as referee and program committee member for international conferences and journals and is editor-in-chief of the journal "Computer Science - Research and Development" (previously known as "Informatik - Forschung und Entwicklung"). Her current research focuses on software engineering for embedded systems, with special emphasis on verification and validation, optimizing compilers and hardware/software co-design.
   About Us
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | Datenschutzerklärung | last update: 2018-05-25 (Webmaster)