Christel Baier

Christel Baier

Biographie

Naissance	26 septembre 1965 (58 ans) Karlsruhe
Nationalité	allemande
Formation	Université de Mannheim (docteur ès sciences naturelles) (15 mars 1990 - 31 mars 1994) Université de Mannheim (habilitation universitaire) (1er avril 1994 - 30 juin 1999) Université de Mannheim
Activité	Chercheuse

Autres informations

A travaillé pour	Université de technologie de Dresde (depuis le 1er octobre 2021) La faculté d'informatique de l'Université de Dresde (d) (depuis le 1er octobre 2006) Université de technologie de Dresde (depuis le 1er octobre 2006) Université rhénane Frédéric-Guillaume de Bonn (1er septembre 1999 - 30 septembre 2006)
Membre de	Academia Europaea (2011)
Dir. de thèse	Mila Emilia Majster (d)

modifier - modifier le code - modifier Wikidata

Christel Baier (née le 26 septembre 1965 à Karlsruhe)^[1] est une informaticienne allemande qui travaille sur la Vérification de modèles, la logique temporelle. Elle enseigne à la TU Dresden^[2]. Elle est éditrice en chef d'Acta Informatica^[3].

Baier a obtenu un diplôme en mathématiques à l'Université de Mannheim en 1990 et un doctorat en informatique en 1994^[2]. Sa thèse, Transitionssystem- und Baum-Semantiken für CCS, a été dirigée par Mila Majster-Cederbaum. Elle a obtenu son habilitation à Mannheim en 1999^[2].

Elle est devenue professeur d'informatique à l'Université de Bonn en 1999 et a rejoint la TU Dresden en 2006^[2].

Avec Joost-Pieter Katoen, Baier est co-auteur du livre Principles of Model Checking (MIT Press, 2008).

Baier a été élu à l'Academia Europaea en 2011^[1].

Elle a reçu un doctorat honoris causa en septembre 2022 de la RWTH Aachen.

• Ressources relatives à la recherche :
  • Digital Bibliography & Library Project
  • Google Scholar
  • Mathematics Genealogy Project
  • ORCID
• Notices d'autorité :

  • VIAF
  • ISNI
  • IdRef
  • LCCN
  • GND
  • Israël
  • NUKAT
  • Tchéquie
  • WorldCat
• « Publications de Christel Baier » sur Google Scholar

• Portail de l’informatique
• Portail de l’Allemagne