ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Christel Baier

Registered user since Sun 30 Oct 2016

Name: Christel Baier

Bio: Christel Baier is a full professor and head of the chair for Algebraic and Logic Foundations of Computer Science at the Faculty of Computer Science of the Technische Universität Dresden since 2006. From the University of Mannheim she received her Diploma in Mathematics in 1990, her Ph.D. in Computer Science in 1994 and her Habilitation in 1999. She was an associate professor for Theoretical Computer Science at the University of Bonn from 1999 to 2006. She is an elected member of the DFG review board for computer science for the periods 2012-2016 and 2016-2020. Since 2011 she is a member of Academia Europa. Since 2015 she is editor-in-chief for the journal Acta Informatica.

Country: Germany

Affiliation: TU Dresden, Germany

Personal website: https://wwwtcs.inf.tu-dresden.de/~baier/

Research interests: Theoretical Computer Science, Formal Methods, Temporal Logics, Automata Theory, Model Checking, Probabilistic Models, Concurrency Theory

Contributions

SynCoP 2019Author of Parametric Markov chains: algorithms, complexity and applications within the SynCoP-track
FASE 2019Committee Member in Program Committee within the FASE 2019-track
FOSSACS 2019Author of Partial and Conditional Expectations in Markov Decision Processes with Integer Weights within the FOSSACS 2019-track
ETAPS 2019Author of Partial and Conditional Expectations in Markov Decision Processes with Integer Weights within the Posters-track
Committee Member in Steering Committee
Show activities from other conferences

ETAPS 2019-profile
View general profile