Christel Baier

Prof. Dr. Christel Baier

ProfessorTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de Verification and formal quantitative Analysis

• Personal homepage
• DBLP
• Google Scholar

•   christel.baier@tu-dresden.de
•   +49 351 463 38548
•   +49 351 463 38348
•   APB 3006

• Active Projects

CRC 248
Foundations of Perspicuous Software Systems

•   https://perspicuous-computing.science/

EMCL (offered until 2017)
European Master's Program in Computational Logic

•   http://www.emcl-study.eu