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
Logo CPEC final RGB.svg

CPEC
Center for Perspicuous Computing

Iccl cube blue 200px.png

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