Christel Baier

Biographie
Naissance	26 septembre 1965 (59 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
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); CeTI (d)
Dir. de thèse	Mila Emilia Majster (d)

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].

Éducation et carrière

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].

Livre

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

Reconnaissance

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.

Références

↑ ^{a et b} (en) « Academia Europaea new member list »
↑ ^{a b c et d} « Short bio », TU Dresden (consulté le 4 octobre 2020)
↑ « Editorial board », Acta Informatica, Springer

Liens externes

Ressources relatives à la recherche :
Notices d'autorité :
- VIAF
- ISNI
- IdRef
- LCCN
- GND
- Pays-Bas
- Israël
- NUKAT
- Norvège
- Tchéquie
- Corée du Sud
- WorldCat
« Publications de Christel Baier » sur Google Scholar

[born-1] {a et b} (en) « Academia Europaea new member list »

[shortbio-2] {a b c et d} « Short bio », TU Dresden (consulté le 4 octobre 2020)

[ai-3] « Editorial board », Acta Informatica, Springer

[1]

[2]

[3]

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