Christel Baier

Prof. Dr. Christel Baier

ProfessorTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de Verifikation und formale quantitative Analyse

• Homepage
• DBLP
• Google Scholar

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

• Aktive Projekte

CPEC
Grundlagen verständlicher Softwaresysteme

•   https://perspicuous-computing.science/

SECAI
School of Embedded Composite Artificial Intelligence

•   https://secai.org