Christel Baier
id:
christel-baier-233-12073060
title:
Christel Baier
text:
Christel Baier is a German theoretical computer scientist known for her work in model checking, temporal logic, and automata theory. She is a professor at TU Dresden, where she holds the chair for Algebraic and Logic Foundations of Computer Science in the Faculty of Computer Science. Baier is the editor-in-chief of Acta Informatica.
brand slug:
wiki
category slug:
encyclopedia
description:
German theoretical computer scientist
original url:
https://en.wikipedia.org/wiki/Christel_Baier
date created:
date modified:
2023-04-16T02:20:51Z
main entity:
{"identifier":"Q62415763","url":"https://www.wikidata.org/entity/Q62415763"}
image:
fields total:
13
integrity:
14