クリステル・バイヤー

クリステル・バイアー（1965年9月26日生まれ）^{[ 1 ]}は、モデル検査、時相論理、オートマトン理論の研究で知られるドイツの理論計算機科学者である。彼女はドレスデン工科大学の教授であり、同大学計算機科学部で計算機科学の代数的・論理的基礎講座の教授を務めている。^{[ 2 ]}バイアーはActa Informatica誌の編集長である。^{[ 3 ]}

教育とキャリア

バイアーは1990年にマンハイム大学で数学の学位を取得し、同大学でコンピュータサイエンスの大学院研究を続け、1994年に博士号を取得した。^{[ 2 ]}彼女の博士論文「CCSのための遷移システムとバウムセマンティケン」は、ミラ・マイスター＝セダーバウムの指導を受けた。^{[ 4 ]}彼女は1999年にマンハイムでハビリテーションを取得した。 ^{[ 2 ]}

彼女は1999年にボン大学のコンピュータサイエンスの准教授となり、2006年にドレスデン工科大学の教授に就任した。^{[ 2 ]}

本

BaierはJoost-Pieter Katoenとともに『Principles of Model Checking』（MIT Press、2008年）の共著者である。^{[ 5 ]}

認識

バイアーは2011年にヨーロッパアカデミーに選出された。 ^{[ 6 ]}

参考文献

1. 生年月日はAcademia Europaeaの新会員リスト、2011年、2020年10月4日取得
2. 略歴、ドレスデン工科大学、 2020年10月4日閲覧
3. 「Editorial board」、Acta Informatica、Springer 、 2020年10月4日閲覧
4. 数学系譜プロジェクトのクリステル・バイヤー
5. モデル検査の原則のレビュー:
   • チョバヌ、ガブリエル M. (2008)、「レビュー」、ACM Computing Reviews、ISBN 9780262026499
   • ランゲ、マーティン（2010）、MathSciNet、MR  2493187
   • Laroussinie、François (2009 年 4 月)、The Computer Journal、53 (5): 615–616、doi : 10.1093/comjnl/bxp025
6. "Christel Baier" ,メンバープロフィール, Academia Europaea , 2020年10月4日閲覧

外部リンク

• Google Scholarに索引付けされたChristel Baierの出版物