Loading article…
クリステル・バイアー（1965年9月26日生まれ）[1]は、モデル検査、時相論理、オートマトン理論の研究で知られるドイツの理論計算機科学者である。彼女はドレスデン工科大学の教授であり、同大学の計算機科学学部で計算機科学の代数的および論理的基礎を担当している。[2]バイアーはActa Informaticaの編集長である。[3]
教育とキャリア
バイアーは1990年にマンハイム大学で数学の学位を取得し、同大学でコンピュータサイエンスの大学院研究を続け、1994年に博士号を取得しました。[2]彼女の博士論文「CCSのための遷移システムとバウムセマンティケン」は、ミラ・マイスター・セダーバウムによって指導されました。[4]彼女は1999年にマンハイムでハビリテーションを取得しました。 [2]
彼女は1999年にボン大学のコンピュータサイエンスの准教授となり、2006年にドレスデン工科大学の教授に就任した。[2]
本
バイアーは、 Joost-Pieter Katoenとともに『 Principles of Model Checking』（MIT Press、2008年）の共著者である。 [5]
認識
バイアーは2011年にヨーロッパ学術協会に選出された。[6]
参考文献
- ^ 生年月日は、2011 年アカデミア・ヨーロッパ新会員リストより、2020 年 10 月 4 日に取得
- ^ abcd ショートバイオグラフィー、ドレスデン工科大学、 2020年10月4日閲覧
- ^ 「Editorial board」、Acta Informatica、Springer 、 2020年10月4日閲覧
- ^ 数学系譜プロジェクトのクリステル・バイヤー
- ^ モデル検査の原則のレビュー:
- チョバヌ、ガブリエル M. (2008)、「レビュー」、ACM Computing Reviews、ISBN 9780262026499
- ランゲ、マーティン (2010)、MathSciNet、MR 2493187
{{citation}}: CS1 maint: 無題の定期刊行物 (リンク) - Laroussinie、François (2009 年 4 月)、The Computer Journal、53 (5): 615–616、doi :10.1093/comjnl/bxp025
{{citation}}: CS1 maint: 無題の定期刊行物 (リンク)
- ^ 「Christel Baier」、メンバープロフィール、Academia Europaea 、 2020年10月4日閲覧
外部リンク
- Google Scholarにインデックスされた Christel Baier の出版物