Кристель Байер
Кристель Байер (родилась 26 сентября 1965 г.) [1] немецкий учёный-теоретик в области информатики, известный своими работами в области проверки моделей , темпоральной логики и теории автоматов . Она является профессором Дрезденского технического университета , где возглавляет кафедру алгебраических и логических основ информатики на факультете компьютерных наук. [2] Байер — главный редактор Acta Informatica . [3]
Образование и карьера
[ редактировать ]Байер получила диплом по математике в Мангеймском университете в 1990 году и осталась в том же университете для обучения в аспирантуре по информатике, защитив докторскую диссертацию. там в 1994 году. [2] Ее диссертация « Система переходов и семантика деревьев для CCS » была написана Милой Майстер-Цедербаум. [4] В 1999 году она получила хабилитацию в Мангейме. [2]
В 1999 году она стала доцентом кафедры информатики в Боннском университете , а в 2006 году переехала в Дрезденский технический университет в качестве профессора. [2]
Книга
[ редактировать ]Вместе с Йостом-Питером Катоеном Байер является соавтором книги «Принципы проверки моделей» (MIT Press, 2008). [5]
Признание
[ редактировать ]Байер был избран членом Европейской академии в 2011 году. [6]
Ссылки
[ редактировать ]- ↑ Дата рождения из списка новых членов Academia Europaea , 2011 г., получено 4 октября 2020 г.
- ^ Перейти обратно: а б с д Краткая биография , TU Dresden , получено 4 октября 2020 г.
- ^ «Редакция» , Acta Informatica , Springer , получено 4 октября 2020 г.
- ^ Кристель Байер в проекте «Математическая генеалогия»
- ^ Обзоры принципов проверки моделей :
- Чобану, Габриэль М. (2008), «Обзор» , ACM Computing Reviews , ISBN 9780262026499
- Ланге, Мартин (2010), MathSciNet , MR 2493187
{{citation}}
: CS1 maint: периодическое издание без названия ( ссылка ) - Ларуссини, Франсуа (апрель 2009 г.), The Computer Journal , 53 (5): 615–616, doi : 10.1093/comjnl/bxp025
{{citation}}
: CS1 maint: периодическое издание без названия ( ссылка )
- ^ «Кристел Байер» , Профили участников , Academia Europaea , получено 4 октября 2020 г.
Внешние ссылки
[ редактировать ]- Публикации Кристель Байер, проиндексированные Google Scholar
- 1965 года рождения
- Живые люди
- Немецкие ученые-компьютерщики
- Немецкие женщины-компьютерщики
- Теоретики-компьютерщики
- Выпускники Мангеймского университета
- Академический состав Боннского университета
- Академический состав Технического университета Дрездена
- Члены Европейской академии
- Незавершённые статьи по компьютерным наукам