Sabine Glesner

from Wikipedia, the free encyclopedia

Sabine Anne Maria Glesner (* 1971 ) is a German computer scientist and university professor . She heads the Software and Embedded Systems Engineering department at the Institute for Software Engineering and Theoretical Computer Science within the Faculty of Electrical Engineering and Computer Science at the Technical University of Berlin .

Career

Glesner studied Computer Science at the University of California, Berkeley and graduated in 1994 with an M.Sc. from. In 1996 she was awarded the university degree of computer scientist at the Technical University of Darmstadt with the title “passed with distinction”. In 1999, with a dissertation on "Natural semantics for imperative and object-oriented programming languages" with Gerhard Goos at the University of Karlsruhe (TH) , she was awarded a Dr. rer. nat. PhD. In 2005 she acquired the Venia Legendi - also from Gerhard Goos - with a habilitation thesis on the subject of "Verification of Optimizing Compilers" at the University of Karlsruhe (TH) . Even before completing her habilitation she received the reputation as W2 professor at the Technical University of Berlin. Another call to the University of Rostock as a professor of Theory of programming languages and programming followed in the summer of 2005. After Glesner accepted the call to Berlin and refused to Rostock, changed their working group and it by the Emmy Noether Program funded project "verification and Optimization of the translation of higher programming languages ​​”at the beginning of October 2005 to the TU Berlin.

Glesner's research focuses on quality assurance and software engineering for embedded systems as well as the design and synthesis of embedded systems.

Glesner is editor-in-chief of the journal Computer Science - Research and Development , published by Springer .

Awards

  • Research funding with the DFG “Action Plan Computer Science” (as part of the Emmy Noether Program ) since 2004, title of the funded project: “Verification and optimization in the translation of higher programming languages”.
  • Member of AcademiaNet since 2010
  • Research on "Correct and Optimizing Compilers for Modern Processor Architectures" funded with 69,000 € through the "Elite funding program for postdocs of the Landesstiftung Baden-Württemberg"
  • Membership in the " Margarete von Wrangell Habilitation Program"
  • Prize of the "Forschungszentrum Informatik" (Research Center for Computer Science) for one of the two best dissertations at the Faculty of Computer Science at the University of Karlsruhe (TH) (1999)
  • Fulbright Grant (August 1993 - December 1994)
  • Scholarship from the German National Academic Foundation (1991–1996)
  • Member of the Siemens international student / doctoral group

Publications (excerpt)

From 1995 to 2017, over 100 articles in journals, books and conferences were published that were written by Glesner as part of her academic work or in which she played a major role.

  • S. Glesner, W. Zimmermann: Natural Semantics as a Static Program Analysis Framework. In: ACM Transactions on Programming Languages ​​and Systems (TOPLAS). Volume 26, No. 3, 2004, pp. 510-577. doi: 10.1145 / 982158.982161
  • S. Glesner: Finite Integer Computations: An Algebraic Foundation for Their Correctness. In: Formal Aspects of Computing. Volume 18, No. 2, 2006, pp. 244-262. doi: 10.1007 / s00165-006-0090-4
  • P. Herber, M. Pockrandt, S. Glesner: Automated conformance evaluation of SystemC designs using timed automata. In: European Test Symposium 2010, IEEE Computer Society. 2010, pp. 188-193. doi: 10.1109 / ETSYM.2010.5512761

Literature reviews

Web links

Individual evidence

  1. ↑ a b Annual report of the Faculty of Computer Science University of Karlsruhe (TH) 2005 p. 45, p. 48 + p. 124
  2. ↑ Computer Science - Research and Development ( ISSN  1865-2034 )
  3. ↑ Profile of Sabine Glesner at AcademiaNet
  4. ↑ Funding of “Correct and Optimizing Compilers for Modern Processor Architectures” by the elite funding program for postdocs
  5. ↑ Profile of Sabine Glesner in the "Margarete von Wrangell Habilitation Program "
  6. ↑ Publications by and with Sabine Glesner since 1995.
personal data
SURNAME Glesner, Sabine
ALTERNATIVE NAMES Glesner, Sabine Anne Maria (full name)
BRIEF DESCRIPTION German computer scientist and university professor
DATE OF BIRTH 1971