Christel Baier

„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.

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/

CeTI
Centre for Tactile Internet with Human-in-the-Loop

•   https://ceti.one/

SECAI
School of Embedded Composite Artificial Intelligence

•   https://secai.org

SEMECO-Q1
Sichere Medizinische Mikrosysteme und Kommunikation: Sichere & Vertrauenswürdige Systemarchitekturen

•   https://digitalhealth.tu-dresden.de/projects/semeco/