Christel Baier (nacida el 26 de septiembre de 1965) [1] es una científica informática teórica alemana conocida por su trabajo en verificación de modelos , lógica temporal y teoría de autómatas . Es profesora en la Universidad Técnica de Dresde , donde ocupa la cátedra de Fundamentos algebraicos y lógicos de la informática en la Facultad de Ciencias de la Computación. [2] Baier es el editor jefe de Acta Informatica . [3]
Baier obtuvo un diploma en matemáticas en la Universidad de Mannheim en 1990 y permaneció en la misma universidad para realizar estudios de posgrado en informática, completando su doctorado. allí en 1994. [2] Su disertación, Transitionssystem- und Baum-Semantiken für CCS , fue supervisada por Mila Majster-Cederbaum. [4] Obtuvo una habilitación en Mannheim en 1999. [2]
Se convirtió en profesora asociada de informática en la Universidad de Bonn en 1999 y se trasladó a la TU Dresden como profesora en 2006. [2]
Junto con Joost-Pieter Katoen , Baier es coautor del libro Principios de verificación de modelos (MIT Press, 2008). [5]
Baier fue elegido miembro de la Academia Europaea en 2011. [6]
{{citation}}: Mantenimiento CS1: publicación periódica sin título ( enlace ){{citation}}: Mantenimiento CS1: publicación periódica sin título ( enlace )