Jump to content

Кристель Байер

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

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

[ редактировать ]

Байер получила диплом по математике в Мангеймском университете в 1990 году и осталась в том же университете для обучения в аспирантуре по информатике, защитив докторскую диссертацию. там в 1994 году. [2] Ее диссертация « Система переходов и семантика деревьев для CCS » была написана Милой Майстер-Цедербаум. [4] В 1999 году она получила хабилитацию в Мангейме. [2]

В 1999 году она стала доцентом кафедры информатики в Боннском университете , а в 2006 году переехала в Дрезденский технический университет в качестве профессора. [2]

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

Признание

[ редактировать ]

Байер был избран членом Европейской академии в 2011 году. [6]

  1. Дата рождения из списка новых членов Academia Europaea , 2011 г., получено 4 октября 2020 г.
  2. ^ Перейти обратно: а б с д Краткая биография , TU Dresden , получено 4 октября 2020 г.
  3. ^ «Редакция» , Acta Informatica , Springer , получено 4 октября 2020 г.
  4. ^ Кристель Байер в проекте «Математическая генеалогия»
  5. ^ Обзоры принципов проверки моделей :
  6. ^ «Кристел Байер» , Профили участников , Academia Europaea , получено 4 октября 2020 г.
[ редактировать ]


Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 262d7526b9cd76e197171c2ac1062874__1681611600
URL1:https://arc.ask3.ru/arc/aa/26/74/262d7526b9cd76e197171c2ac1062874.html
Заголовок, (Title) документа по адресу, URL1:
Christel Baier - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)