Christel Baier

from Wikipedia, the free encyclopedia

Christel Baier (born September 26, 1965 in Karlsruhe ) is a German theoretical computer scientist . She is the holder of the professorship for algebraic and logical foundations in computer science at the TU Dresden .

Life

Baier passed her Abitur in 1984 at the Eduard-Spranger-Gymnasium in Landau in the Palatinate . After completing her studies, she graduated from the University of Mannheim with a degree in mathematics in 1990 . From 1990 to 1994 she was employed at the University of Mannheim, where she completed her doctoral thesis in the field of computer science with summa cum laude. Baier also stayed for her habilitation from 1994 to 1999 at the University of Mannheim, which she graduated in 1999. From 1999 to 2006 she was Associate Professor for Theoretical Computer Science at the Rheinische Friedrich-Wilhelms University in Bonn . In October 2006 she was appointed to the professorship for algebraic and logical basics in computer science at the TU Dresden. She has been a member of the Academia Europaea since 2011 .

Baier's research interests include the modeling, specification and verification of reactive systems, the quantitative analysis of stochastic systems, probabilistic model checking , temporal and modal logics , automata over infinite structures, game theory and the verification of systems with an infinite number of states.

Together with Joost-Pieter Katoen , Baier published the book Principles of Model Checking .

From 2012 to 2019, Baier was an elected member of the Review Board of the German Research Foundation for Computer Science ( Review Board 409), she is a member of the scientific advisory board of Schloss Dagstuhl - Leibniz Center for Computer Science. She was also a member of the jury for the national youth research competition from 2015 to 2020 inclusive.

Baier's article “Model-Checking Algorithms for Continuous-Time Markov Chains”, published in IEEE TSE in 2003, which she wrote together with Boudewijn Haverkort, Holger Hermanns and Joost-Pieter Katoen , was ranked 74th in the top 100 most cited papers in 2016 Software engineering .

She has been the editor-in-chief of Acta Informatica since 2015 .

Web links

Individual evidence

  1. ^ Academy of Europe: CV. Retrieved April 20, 2020 .
  2. ^ Academy of Europe: Baier Christel. Retrieved April 20, 2020 .
  3. ^ Christel Baier, Joost-Pieter Katoen: Principles of Model Checking . The MIT Press, Cambridge, Mass 2008, ISBN 978-0-262-02649-9 .
  4. ↑ Christel Baier: Christel Baier. Retrieved April 20, 2020 (American English).
  5. ^ Acta Informatica. Retrieved April 20, 2020 (English).
personal data
SURNAME Baier, Christel
BRIEF DESCRIPTION German computer scientist and university professor
DATE OF BIRTH September 26, 1965
PLACE OF BIRTH Karlsruhe