Christel Baier

Christel Baier (född 26 september 1965) är en tysk teoretisk datavetare känd för sitt arbete inom modellkontroll , tidslogik och automatteori . Hon är professor vid TU Dresden , där hon innehar professuren för Algebraic and Logic Foundations of Computer Science vid fakulteten för datavetenskap. Baier är chefredaktör för Acta Informatica .

Utbildning och karriär

Baier tog ett diplom i matematik vid universitetet i Mannheim 1990 och stannade vid samma universitet för doktorandstudier i datavetenskap och avslutade sin doktorsexamen. där 1994. Hennes avhandling, Transitionssystem- und Baum-Semantiken für CCS , handledes av Mila Majster-Cederbaum. Hon fick en habilitering vid Mannheim 1999.

Hon blev docent i datavetenskap vid universitetet i Bonn 1999 och flyttade till TU Dresden som professor 2006.

bok

Tillsammans med Joost-Pieter Katoen är Baier medförfattare till boken Principles of Model Checking (MIT Press, 2008).

Erkännande

Baier valdes in i Academia Europaea 2011.

externa länkar

• Christel Baier -publikationer indexerade av Google Scholar