Christel Baier

Christel Baier (née le à 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
  1. (en) « Academia Europaea new member list »
  2. « Short bio », TU Dresden (consulté le )
  3. « Editorial board », Acta Informatica, Springer

Liens externes

  • icône décorative Portail de l’informatique
  • icône décorative Portail de l’Allemagne
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.