Кристель Байер - Christel Baier

Кристель Байер (родился 26 сентября 1965 г.)[1] немец теоретик-информатик известна своей работой в проверка модели, темпоральная логика, и теория автоматов. Она профессор в TU Dresden, где она заведует кафедрой алгебраических и логических основ компьютерных наук на факультете компьютерных наук.[2] Байер - главный редактор Acta Informatica.[3]

Образование и карьера

Байер получил диплом математика в Университет Мангейма в 1990 г. и осталась в том же университете для обучения в аспирантуре по информатике, получив докторскую степень. там в 1994 году.[2] Ее диссертация, Transitionssystem- und Baum-Semantiken für CCSРуководила Мила Майстер-Седербаум.[4] Она заработала абилитация в Мангейме в 1999 году.[2]

Она стала адъюнкт-профессором информатики в Боннский университет в 1999 году, а в 2006 году переехал в Дрезденский технический университет на должность профессора.[2]

Книга

С Йост-Питер Катоэн, Байер является соавтором книги Принципы проверки модели (MIT Press, 2008).[5]

Признание

Байер был избран в Academia Europaea в 2011.[6]

Рекомендации

  1. ^ Дата рождения от Список новых участников Academia Europaea, 2011, получено 2020-10-04
  2. ^ а б c d Короткая биография, ТУ Дрезден, получено 2020-10-04
  3. ^ "Редакционная коллегия", Acta Informatica, Springer, получено 2020-10-04
  4. ^ Кристель Байер на Проект "Математическая генеалогия"
  5. ^ Обзоры Принципы проверки модели:
  6. ^ "Кристель Байер", Профили участников, Academia Europaea, получено 2020-10-04

внешняя ссылка