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 TU Dresden , donde ocupa la cátedra de Fundamentos Algebraicos y Lógicos de las Ciencias de la Computación en la Facultad de Ciencias de la Computación. [2] Baier es el editor en jefe de Acta Informatica . [3]
Educación y carrera
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 ciencias de la computación, completando su doctorado. allí en 1994. [2] Su tesis, 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 TU Dresden como profesora en 2006. [2]
Libro
Junto con Joost-Pieter Katoen , Baier es coautor del libro Principles of Model Checking (MIT Press, 2008). [5]
Reconocimiento
Baier fue elegido miembro de la Academia Europaea en 2011. [6]
Referencias
- ^ Fecha de nacimiento de la lista de nuevos miembros de Academia Europaea , 2011, consultado el 4 de octubre de 2020
- ^ a b c d Short bio , TU Dresden , consultado el 4 de octubre de 2020
- ^ "Editorial board" , Acta Informatica , Springer , consultado el 4 de octubre de 2020.
- ^ Christel Baier en el Proyecto de genealogía de las matemáticas
- ^ Reseñas de los principios de verificación de modelos :
- Ciobanu, Gabriel M., "Revisión" , Reseñas de computación de ACM
- Lange, Martin (2010), MathSciNet , MR 2493187CS1 maint: publicación periódica sin título ( enlace )
- Laroussinie, François (abril de 2009), The Computer Journal , 53 (5): 615–616, doi : 10.1093 / comjnl / bxp025CS1 maint: publicación periódica sin título ( enlace )
- ^ "Christel Baier" , Perfiles de miembros , Academia Europaea , consultado el 4 de octubre de 2020
enlaces externos
- Publicaciones de Christel Baier indexadas por Google Scholar