TU Dresden
/
TU Dresden
/
Informatik
Computer Science
/
ICCL
/
TU Dresden
/
Fakultät Informatik
Faculty of Computer Science
/
International Center For Computational Logic
Account
Log in
Edit tools
Discussion
View source
History
Internal
Suche
Search
Deutsch
About ICCL
News & Dates
Profile
Research Groups
People
Job Offers
Location and Contact
Study
Courses
Theses
European Master
International Master
Research
Research Areas
Projects
Publications
Cooperation
Offers
Partners
Christel Baier
From International Center for Computational Logic
Jump to:
navigation
,
search
Prof. Dr.
Christel Baier
Professor
Technische Universität Dresden
http://www.tu-dresden.de
International Center for Computational Logic
https://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
CPEC
Center for Perspicuous Computing
https://perspicuous-computing.science/
SECAI
School of Embedded Composite Artificial Intelligence
http://secai.org
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Browse properties
