تونيان بيتاشي

سلط الاعتراف بها كزميلة لـ ACM في عام 2018 الضوء على تونيان بيتاشي لمساهماتها المستمرة في البحث والتعليم في مجالات التعقيد الحسابي وتعقيد الإثبات. وبصفتها متخصصة في المنطق الرياضي لأنظمة الإثبات، فقد أثرت على كيفية فهم علماء الحاسوب للوقت اللازم للتحقق من القضايا المنطقية ونقاط القوة المتفاوتة لهياكل الإثبات الرسمية المختلفة.

الأسس الأكاديمية والمسيرة المهنية المبكرة

ولدت بيتاشي عام 1962 في بيتسبرغ، وتابعت تدريبها الأكاديمي الأساسي في جامعة ولاية بنسلفانيا، حيث حصلت على درجتي البكالوريوس والماجستير. انتقلت لاحقاً إلى جامعة تورنتو لعملها في الدكتوراه، وأكملتها في عام 1992 تحت إشراف ستيفن كوك. تضمنت مسيرتها المهنية المبكرة أبحاث ما بعد الدكتوراه في جامعة كاليفورنيا، سان دييغو، تليها تعيينات في هيئة التدريس في جامعة بيتسبرغ وجامعة أريزونا.

المساهمات في تعقيد الإثبات

لا يزال تركيز بيتاشي منصباً على مجال تعقيد الإثبات، الذي يبحث في أطوال الإثباتات الرياضية ضمن أنظمة محددة. تضع أبحاثها حدوداً دنيا وعليا لتوضيح كفاءة إجراءات البحث عن الإثبات. تشمل النتائج البارزة حدوداً دنيا أسية لإثباتات فريجه فيما يتعلق بمبدأ برج الحمام وإثباتات الحل لقابلية الإرضاء العشوائية الكثيفة 3. يستكشف عملها أيضاً نقاط القوة النسبية لطرق مستويات القطع وخوارزمية ديفيس-بوتنام.

الأدوار المؤسسية والخدمة المهنية

بعد عودتها إلى جامعة تورنتو في عام 2001، شغلت منصب أستاذة في كل من قسم علوم الحاسوب وقسم الرياضيات لمدة عقدين. خلال فترة عملها، شغلت منصب رئيسة برنامج ندوة نظرية الحوسبة لعام 2012 وقضت وقتاً كأستاذة زائرة في معهد الدراسات المتقدمة في عام 2017. في عام 2021، انتقلت إلى جامعة كولومبيا كأستاذة للهندسة باسم جيفري إل. وبريندا بلوستين.

التقدير والجوائز

اعترف المجتمع الرياضي الدولي ببيتاشي من خلال تكريمات مختلفة. في عام 1998، كانت متحدثة مدعوة في المؤتمر الدولي لعلماء الرياضيات في برلين. تم تعزيز إنجازات مسيرتها المهنية في عام 2022 عندما تم تعيينها في الأكاديمية الوطنية للعلوم.

حقائق سريعة

- الميلاد: 1962، بيتسبرغ - الدكتوراه: 1992، جامعة تورنتو - زميلة ACM لعام 2018 - عضو الأكاديمية الوطنية للعلوم لعام 2022 - الجنسية: كندا - المنصب الحالي: جامعة كولومبيا

أسئلة القراء

### ما هو التركيز الأساسي لأبحاث تونيان بيتاشي؟

يركز عملها على تعقيد الإثبات، وتحديداً تحديد الحدود العليا والدنيا لأطوال الإثبات الرياضي في الأنظمة الرسمية.

### في أي المؤسسات شغلت مناصب تدريسية؟

عملت في هيئة التدريس في جامعة بيتسبرغ، وجامعة أريزونا، وجامعة تورنتو، وجامعة كولومبيا.