Short CV/Education and training

  • 1994
    Master of Science in computer science, University of California, Berkeley, USA

  • 1996
    Diplom degree in computer science, Darmstadt University of Technology, Germany

  • 1999
    Doctorate in computer science, University of Karlsruhe, Germany

  • 2005
    Habilitation (postdoctoral qualification), University of Karlsruhe, authorisation to teach in the field of computer science

  • 2005
    Appointed W2 professor at TU Berlin, Germany

  • 2010
    Appointed W3 professor at TU Berlin

Selected publications

  • Glesner, S., Zimmermann, W.: Natural Semantics as a Static Program Analysis Framework. In: ACM Transactions on Programming Languages and Systems (TOPLAS) 26(3), 2004. S. 510-577.

  • Glesner, S.: Finite Integer Computations: An Algebraic Foundation for Their Correctness. In: Formal Aspects of Computing 18(2), 2006. S. 244-262.

  • Herber, P., Pockrandt, M., Glesner, S.: Automated conformance evaluation of SystemC designs using timed automata. In: European Test Symposium 2010, IEEE Computer Society, 2010. S. 188-193.

Complete list of publications

Selected projects

  • Project: Verification and optimisation in the compilation of high-level programming languages, funded by the German Research Foundation (DFG) Emmy Noether Programme

  • Project: MeMo – Methods of Model quality analysis, in collaboration with Berner & Mattner Co. and Model Engineering Solutions Co., funded by Investitionsbank Berlin (IBB)

  • Project: KorMoran – Correct Model Transformations, funded through the Individual Grants Programme by the German Research Foundation (DFG), since 2010

  • Participated in the Research Training Group: SOAMED – Service-oriented Architectures for the Integration of Software-based Processes, exemplified by Health Care Systems and Medical Technology, funded by the German Research Foundation (DFG), since 2010

  • Core Partner in the European Union (EU) Network of Excellence ARTIST2 on Embedded Systems Design, 2006 – 2008; Affiliated Partner in the EU Network of Excellence ArtistDesign, since 2008

  • Project: VATES – Construction and verification of embedded systems, exemplified by the real-time operating system BOSS, funded through the Individual Grants Programme by the German Research Foundation (DFG), since 2006

  • Project: Correct and Optimizing Compilers for Modern Processor Architectures, funded by the postdoc excellence programme of the Baden-Württemberg Stiftung (foundation), 2003 – 2005

  • Funding from the Wrangell Habilitation (postdoctoral qualification) programme of the Federal State of Baden-Württemberg, Germany, 2001 – 2005

Membership in scientific bodies/juries


You can only see the contact information of the academics in the database if you are a registered user of AcademiaNet.
Please register here


  1. Read what our members say about AcademiaNet.

Follow us

No more excuses!

  1. Please download the brochure "No more excuses" and read more about female experts in Europe, and about AcademiaNet.

Similar profiles

  1. Prof. Yolande Berbers

    Information and Communication Technologies (ICTs), Distributed systems

  2. Prof. Dr. Gemma Boleda

    Information and Communication Technologies (ICTs), Languages, Computational linguistics, Linguistics, Semantics

  3. Prof. Dr. Ruth Breu

    Information and Communication Technologies (ICTs), Software engineering

  4. Dr. Bahareh Afshari

    Information and Communication Technologies (ICTs), Mathematics and statistics, Mathematical and Computational Logic

Academia Net