WikiDer > Christel Baier
Christel Baier (1965 yil 26 sentyabrda tug'ilgan)[1] nemis nazariy kompyuter olimi uning faoliyati bilan tanilgan modelni tekshirish, vaqtinchalik mantiqva avtomatlar nazariyasi. U professor TU Drezdenu erda kompyuter fanlari fakultetida kompyuter fanining algebraik va mantiqiy asoslari kafedrasi ishlaydi.[2] Baier - bosh muharriri Acta Informatica.[3]
Ta'lim va martaba
Baier matematikadan diplom oldi Manxaym universiteti 1990 yilda va shu universitetda kompyuter fanlari aspiranturasida o'qib, doktorlik dissertatsiyasini tugatgan. u erda 1994 yilda.[2] Uning dissertatsiyasi, Transitionssystem- und Baum-Semantiken für CCS, Mila Majster-Cederbaum tomonidan nazorat qilingan.[4] U a habilitatsiya 1999 yilda Mannheimda.[2]
U kompyuter fanlari bo'yicha dotsent bo'ldi Bonn universiteti 1999 yilda TU Drezdenga professor lavozimiga 2006 yilda ko'chib o'tdi.[2]
Kitob
Bilan Joost-Pieter Katoen, Baier kitobning hammuallifi Modelni tekshirish tamoyillari (MIT Press, 2008).[5]
E'tirof etish
Baier saylandi Academia Europaea 2011 yilda.[6]
Adabiyotlar
- ^ Tug'ilgan sanasi Academia Europaea yangi a'zolari ro'yxati, 2011 yil, olingan 2020-10-04
- ^ a b v d Qisqa bio, TU Drezden, olingan 2020-10-04
- ^ "Tahririyat kengashi", Acta Informatica, Springer, olingan 2020-10-04
- ^ Christel Baier da Matematikaning nasabnomasi loyihasi
- ^ Sharhlar Modelni tekshirish tamoyillari:
- Ciobanu, Gabriel M., "Sharh", ACM hisoblash sharhlari
- Lange, Martin (2010), MathSciNet, JANOB 2493187CS1 maint: nomlanmagan davriy nashr (havola)
- Laroussinie, Fransua (2009 yil aprel), Kompyuter jurnali, 53 (5): 615–616, doi:10.1093 / comjnl / bxp025CS1 maint: nomlanmagan davriy nashr (havola)
- ^ "Kristel Bayer", Ro'yxatdan profillari, Academia Europaea, olingan 2020-10-04
Tashqi havolalar
- Christel Baier tomonidan indekslangan nashrlar Google Scholar
