Christel Baier

Full Professor, Technische Universität Dresden
Joined
July 2019

Names

Christel Baier

Emails

****@tu-dresden.de (Confirmed)

Personal Links

Career & Education History

Full Professor
Technische Universität Dresden (tu-dresden.de)
2006 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

verification
, 
model checking
Present
temporal logic
, 
automata theory and games
Present
formal analysis of stochastic models
Present
concurrency theory
Present

Publications

No publications

Co-Authors

No co-authors