Baier earned a diploma in mathematics at the University of Mannheim in 1990, and stayed at the same university for graduate study in computer science, completing her Ph.D. there in 1994.[2] Her dissertation, Transitionssystem- und Baum-Semantiken für CCS, was supervised by Mila Majster-Cederbaum.[4] She earned a habilitation at Mannheim in 1999.[2]
She became an associate professor for computer science at the University of Bonn in 1999, and moved to TU Dresden as a professor in 2006.[2]
christel, baier, born, september, 1965, german, theoretical, computer, scientist, known, work, model, checking, temporal, logic, automata, theory, professor, dresden, where, holds, chair, algebraic, logic, foundations, computer, science, faculty, computer, sci. Christel Baier born 26 September 1965 1 is a German theoretical computer scientist known for her work in model checking temporal logic and automata theory She is a professor at TU Dresden where she holds the chair for Algebraic and Logic Foundations of Computer Science in the Faculty of Computer Science 2 Baier is the editor in chief of Acta Informatica 3 Contents 1 Education and career 2 Book 3 Recognition 4 References 5 External linksEducation and career editBaier earned a diploma in mathematics at the University of Mannheim in 1990 and stayed at the same university for graduate study in computer science completing her Ph D there in 1994 2 Her dissertation Transitionssystem und Baum Semantiken fur CCS was supervised by Mila Majster Cederbaum 4 She earned a habilitation at Mannheim in 1999 2 She became an associate professor for computer science at the University of Bonn in 1999 and moved to TU Dresden as a professor in 2006 2 Book editWith Joost Pieter Katoen Baier is coauthor of the book Principles of Model Checking MIT Press 2008 5 Recognition editBaier was elected to the Academia Europaea in 2011 6 References edit Birth date from Academia Europaea new member list 2011 retrieved 2020 10 04 a b c d Short bio TU Dresden retrieved 2020 10 04 Editorial board Acta Informatica Springer retrieved 2020 10 04 Christel Baier at the Mathematics Genealogy Project Reviews of Principles of Model Checking Ciobanu Gabriel M 2008 Review ACM Computing Reviews ISBN 9780262026499 Lange Martin 2010 MathSciNet MR 2493187 a href Template Citation html title Template Citation citation a CS1 maint untitled periodical link Laroussinie Francois April 2009 The Computer Journal 53 5 615 616 doi 10 1093 comjnl bxp025 a href Template Citation html title Template Citation citation a CS1 maint untitled periodical link Christel Baier Member profiles Academia Europaea retrieved 2020 10 04External links editChristel Baier publications indexed by Google Scholar P NP This biographical article relating to a computer scientist is a stub You can help Wikipedia by expanding it vte Retrieved from https en wikipedia org w index php title Christel Baier amp oldid 1150052338, wikipedia, wiki, book, books, library,
