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