Кристель Байер
Кристель Байер (родилась 26 сентября 1965 г.) [1] — немецкий учёный-теоретик в области информатики, известная своими работами в области проверки моделей , временной логики и теории автоматов . Она является профессором в Техническом университете Дрездена , где она занимает кафедру алгебраических и логических основ информатики на факультете компьютерных наук. [2] Байер — главный редактор Acta Informatica . [3]
Образование и карьера
Байер получила диплом по математике в Университете Мангейма в 1990 году и осталась в том же университете для обучения в аспирантуре по информатике, получив докторскую степень в 1994 году. [2] Ее диссертация, Transitionssystem- und Baum-Semantiken für CCS , была написана под руководством Милы Майстер-Цедербаум. [4] Она получила хабилитацию в Мангейме в 1999 году. [2]
В 1999 году она стала доцентом кафедры компьютерных наук в Боннском университете , а в 2006 году перешла на должность профессора в Технический университет Дрездена. [2]
Книга
Байер является соавтором книги «Принципы проверки моделей» (MIT Press, 2008) совместно с Йостом-Питером Катоеном . [5]
Признание
В 2011 году Байер был избран в Academia Europaea. [6]
Ссылки
- ^ Дата рождения из списка новых членов Academia Europaea, 2011, получено 04.10.2020
- ^ abcd Краткая биография, Технический университет Дрездена , получено 04.10.2020
- ^ "Редакционная коллегия", Acta Informatica , Springer , получено 04.10.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: безымянное периодическое издание ( ссылка )
- ^ "Christel Baier", профили участников , Academia Europaea , получено 2020-10-04
Внешние ссылки
- Публикации Кристель Байер, проиндексированные Google Scholar
