Agata Ciabattoni
اگاتا سیاباٹونی ایک اطالوی ریاضیاتی منطق ہے جو غیر کلاسیکی منطق میں مہارت رکھتی ہے۔ وہ ویانا یونیورسٹی آف ٹیکنالوجی (ٹی یو وین) میں فیکلٹی آف انفارمیٹکس کے انسٹی ٹیوٹ آف لاجک اینڈ کمپیوٹیشن میں مکمل پروفیسر ہیں، اور ویانا سینٹر فار لاجک اینڈ الگورتھم آف ٹی یو وین (وی سی ایل اے) کی شریک چیئر ہیں۔ تعلیم اور کیریئر سیاباٹونی اصل میں ریپاٹرانسون سے ہے۔ اس نے بولوگنا یونیورسٹی میں کمپیوٹر سائنس کی تعلیم حاصل کی، اور 2000 میں میلان یونیورسٹی میں پی ایچ ڈی مکمل کی۔ اس کا مقالہ، بہت سے قیمتی منطقوں میں ثبوت نظریہ، کی نگرانی ڈینیئل منڈیسی نے کی تھی۔ وہ 2000 میں ای یو میری کیوری فیلوشپ کے تعاون سے ویانا چلی گئیں، اور 2007 میں، انہوں نے ٹی یو وین میں رہائش حاصل کی۔ وہ انفارمیشن فیکلٹی میں پروفیسر کی حیثیت سے ٹی یو وین سے وابستہ ہیں۔ وہ کرٹ گوڈل سوسائٹی کے لیے کولیجیم لاجیکم لیکچر سیریز چیئر کے طور پر بھی کام کرتی ہیں۔ تعاون ٹی یو وین میں سیاباٹونی کے منصوبوں میں سے ایک میں ہندوستانی مقدس متون کے ایک مجموعے ویدوں میں اخلاقی استدلال کو باقاعدہ بنانے کے لیے ریاضیاتی منطق کا استعمال شامل ہے۔ 2011 میں، سیاباٹونی نے آسٹرین سائنس فنڈ کا اسٹارٹ پرائس جیتا، جو اس سال انعام جیتنے والی واحد خاتون تھیں۔ ۔