Christel Baier - Christel Baier

Christel Baier (narozen 26. září 1965)[1] je Němec teoretický počítačový vědec známá svou prací v kontrola modelu, časová logika, a teorie automatů. Je profesorem na TU Drážďany, kde je předsedkyní Algebraických a logických základů informatiky na Fakultě informatiky.[2] Baier je šéfredaktorem Acta Informatica.[3]

Vzdělání a kariéra

Baier získal diplom z matematiky na University of Mannheim v roce 1990 zůstala na stejné univerzitě pro postgraduální studium informatiky a dokončila doktorát tam v roce 1994.[2] Její disertační práce, Transitionssystem- und Baum-Semantiken für CCS, byla pod dohledem Mila Majster-Cederbaum.[4] Získala a habilitace v Mannheimu v roce 1999.[2]

Stala se docentkou pro informatiku na University of Bonn v roce 1999 a v roce 2006 se přestěhoval na TU Dresden jako profesor.[2]

Rezervovat

S Joost-Pieter Katoen „Baier je spoluautorem knihy Zásady kontroly modelu (MIT Press, 2008).[5]

Uznání

Baier byl zvolen do Academia Europaea v roce 2011.[6]

Reference

  1. ^ Datum narození od Seznam nových členů Academia Europaea, 2011, vyvoláno 2020-10-04
  2. ^ A b C d Krátký bio, TU Drážďany, vyvoláno 2020-10-04
  3. ^ "Redakční rada", Acta InformaticaSpringer, vyvoláno 2020-10-04
  4. ^ Christel Baier na Matematický genealogický projekt
  5. ^ Recenze Zásady kontroly modelu:
  6. ^ „Christel Baier“, Profily členů, Academia Europaea, vyvoláno 2020-10-04

externí odkazy