Christel Baier

From International Center for Computational Logic

Prof. Dr. Christel Baier

ProfessorTechnische Universität DresdenInternational Center for Computational Logic Verification and formal quantitative Analysis
Fops-logo.svg

CPEC
Center for Perspicuous Computing

Iccl cube blue 200px.png

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