كريستيل باير

كريستل باير (مواليد 26 سبتمبر 1965) ^{[ 1 ]} عالمة حاسوب نظرية ألمانية، اشتهرت بأبحاثها في التحقق من النماذج ، والمنطق الزمني ، ونظرية الأوتوماتا . تشغل منصب أستاذة في جامعة دريسدن التقنية ، حيث ترأس قسم الأسس الجبرية والمنطقية لعلوم الحاسوب في كلية علوم الحاسوب. ^{[ 2 ]} ومنذ بداية عام 2025، تشغل منصب عميدة كلية علوم الحاسوب في جامعة دريسدن التقنية. ^{[ 2 ]} ومن عام 2015 إلى عام 2022، كانت باير رئيسة تحرير مجلة "أكتا إنفورماتيكا" . ^{[ 3 ]}

حصلت باير على دبلوم في الرياضيات من جامعة مانهايم عام 1990، وتابعت دراساتها العليا في علوم الحاسوب في الجامعة نفسها، حيث نالت درجة الدكتوراه عام 1994. ^{[ 4 ]} أشرفت ميلا مايستر-سيدرباوم على أطروحتها بعنوان " دلالات أنظمة الانتقال والأشجار لأنظمة التحكم الحاسوبية ". ^{[ 5 ]} وحصلت على التأهيل العلمي من مانهايم عام 1999. ^{[ 2 ]}

أصبحت أستاذة مشاركة في علوم الحاسوب في جامعة بون عام 1999، وانتقلت إلى جامعة دريسدن التقنية كأستاذة عام 2006. ^{[ 2 ]}

شارك باير مع جوست بيتر كاتوين في تأليف كتاب " مبادئ التحقق من النماذج" (منشورات معهد ماساتشوستس للتكنولوجيا، 2008). ^{[ 6 ]}

تم انتخاب باير لعضوية الأكاديمية الأوروبية في عام 2011. ^{[ 7 ]} وفي عام 2025، أصبحت عضوة في أكاديمية ساكسون للعلوم والإنسانيات ^{[ 8 ]} ، وفي عام 2026، تم انتخابها في الأكاديمية الوطنية الألمانية للعلوم ليوبولدينا ^{[ 9 ]} .

• منشورات كريستيل باير المفهرسة بواسطة جوجل سكولار