Toniann Pitassi
ٹونین پٹاسی ایک کینیڈین-امریکی ریاضی دان اور کمپیوٹر سائنسدان ہیں جو کمپیوٹیشنل پیچیدگی کے نظریہ میں مہارت رکھتے ہیں۔ وہ فی الحال کولمبیا یونیورسٹی میں انجینئرنگ کی جیفری ایل اور برینڈا بلوسٹین پروفیسر ہیں اور ٹورنٹو یونیورسٹی میں بیل ریسرچ چیئر تھیں۔ تعلیمی کیریئر پٹسبرگ کے رہنے والے، پیٹاسی نے ڈاکٹریٹ کی تعلیم کے لیے یونیورسٹی آف ٹورنٹو جانے سے پہلے پنسلوانیا اسٹیٹ یونیورسٹی میں بیچلر اور ماسٹر کی ڈگریاں حاصل کیں۔ انہوں نے اسٹیفن کک کی نگرانی میں 1992 میں ٹورنٹو سے پی ایچ ڈی حاصل کی۔ یونیورسٹی آف کیلیفورنیا، سان ڈیاگو میں پوسٹ ڈاکٹریٹ کی تعلیم اور یونیورسٹی آف پٹسبرگ اور یونیورسٹی آف ایریزونا میں فیکلٹی کے عہدوں کے بعد، وہ 2001 میں ٹورنٹو واپس آئیں، اور 2021 تک یونیورسٹی آف ٹورنٹو ڈیپارٹمنٹ آف کمپیوٹر سائنس اور یونیورسٹی آف ٹورنٹو ڈیپارٹمنٹ آف میتھمیٹکس میں پروفیسر رہیں، جب انہوں نے کولمبیا یونیورسٹی کی فیکلٹی میں شمولیت اختیار کی۔ وہ 1998 میں برلن میں ریاضی دانوں کی بین الاقوامی کانگریس میں مدعو اسپیکر تھیں۔ وہ تھیوری آف کمپیوٹنگ پر 2012 کے سمپوزیم کی پروگرام چیئر تھیں۔ ستمبر سے دسمبر 2017 تک، وہ انسٹی ٹیوٹ فار ایڈوانسڈ اسٹڈی میں وزٹنگ پروفیسر رہیں۔ ریسرچ پیٹاسی کی تحقیق بڑی حد تک ثبوت کی پیچیدگی پر مرکوز ہے، جو کمپیوٹیشنل پیچیدگی کے نظریہ کی ایک شاخ ہے جو مختلف رسمی ثبوت کے نظاموں کے اندر منطقی تجاویز کے ریاضیاتی ثبوتوں کی لمبائی پر اوپری اور نچلی حدود تلاش کرتی ہے۔ اس مطالعے کا مقصد ان حدود کو ثبوت تلاش کرنے کے طریقہ کار کی وقت کی پیچیدگی اور مختلف ثبوت کے نظام کی متعلقہ طاقت دونوں کو سمجھنے کے لیے استعمال کرنا ہے۔ اس شعبے میں اس نے جو تحقیقی تعاون کیا ہے اس میں کبوتر کے سوراخ کے اصول کے فریج ثبوتوں کے لیے ایکسپونینشل نچلی حدود، زیادہ سے زیادہ کلک کے مسئلے سے اخذ کردہ تجاویز پر لاگو کٹنگ پلین طریقہ کے لیے ایکسپونینشل نچلی حدود، گھنے بے ترتیب 3-اطمینان بخش مثالوں کے حل کے ثبوتوں کے لیے ایکسپونینشل نچلی حدود، اور ڈیوس-پٹنم الگورتھم کا استعمال کرتے ہوئے اسی گھنے بے ترتیب مثالوں کے لیے ذیلی ایکسپونینشل اوپری حدود شامل ہیں۔ پال بیم کے ساتھ، اس نے ثبوت کی پیچیدگی کا ایک سروے بھی لکھا۔ ریکگنیشن پیٹاسی کو 2018 میں "کمپیوٹیشنل اور پروف پیچیدگی کے شعبوں میں تحقیق اور تعلیم میں شراکت" کے لیے اے سی ایم فیلو کے طور پر منتخب کیا گیا تھا۔ پیٹاسی کو 2021 میں "کمپیوٹیشنل پیچیدگی میں بنیادی اور وسیع تر شراکت" کے لیے ای اے ٹی سی ایس (یوروپی ایسوسی ایشن فار تھیوریٹیکل کمپیوٹر سائنس) ایوارڈ بھی ملا تھا۔ انہیں 2022 میں نیشنل اکیڈمی آف سائنسز میں نامزد کیا گیا تھا۔ منتخب اشاعتیں۔ ۔ ۔ ۔ نظریاتی کمپیوٹر سائنس میں موجودہ رجحانات، ورلڈ سائنٹفک، 2001، میں دوبارہ شائع ہوا۔ ۔ ۔ حوالہ جات زندہ لوگ کینیڈین خواتین ریاضی دان کینیڈین خواتین کمپیوٹر سائنس دان کینیڈین کمپیوٹر سائنس دان یونیورسٹی آف ٹورنٹو کے سابق طلباء پنسلوانیا اسٹیٹ یونیورسٹی فیکلٹی یونیورسٹی آف پٹسبرگ فیکلٹی یونیورسٹی آف ایریزونا فیکلٹی یونیورسٹی آف ٹورنٹو کے تعلیمی عملہ نظریاتی کمپیوٹر سائنس دان ایسوسی ایشن برائے کمپیوٹنگ مشینری کے فیلوز سال پیدائش لاپتہ (زندہ لوگ) کولمبیا یونیورسٹی فیکلٹی