Agata Ciabattoni
अगाटा सिएबाटनी एक इतालवी गणितीय तर्कशास्त्री हैं जो गैर-शास्त्रीय तर्क में विशेषज्ञता रखते हैं। वह वियना प्रौद्योगिकी विश्वविद्यालय (टीयू वीएन) में सूचना विज्ञान संकाय के तर्क और गणना संस्थान में एक पूर्ण प्रोफेसर हैं, और टीयू वीएन (वीसीएलए) के तर्क और एल्गोरिदम के लिए वियना केंद्र की सह-अध्यक्ष हैं। शिक्षा और करियर सियाबटटोनी मूल रूप से रिपाट्रानसोन से है। उन्होंने बोलोग्ना विश्वविद्यालय में कंप्यूटर विज्ञान का अध्ययन किया और 2000 में मिलान विश्वविद्यालय में अपनी पीएचडी पूरी की। उनका शोध प्रबंध, कई मूल्यवान तर्कों में प्रमाण-सिद्धांत, डेनियल मुंडिसी द्वारा पर्यवेक्षित किया गया था। वह 2000 में ई. यू. मैरी क्यूरी फैलोशिप के समर्थन से वियना चली गईं, और 2007 में, उन्होंने टी. यू. वियेन में अपना निवास अर्जित किया। वह सूचना विज्ञान संकाय में प्रोफेसर के रूप में टीयू वीन से संबद्ध रहती हैं। वह कर्ट गोडेल सोसाइटी के लिए कॉलेजियम लॉजिकम व्याख्यान श्रृंखला अध्यक्ष के रूप में भी कार्य करती हैं। योगदान टीयू विएन में सियाबटनी की परियोजनाओं में से एक में भारतीय पवित्र ग्रंथों के एक निकाय, वेदों में नैतिक तर्क को औपचारिक रूप देने के लिए गणितीय तर्क का उपयोग करना शामिल है। मान्यता 2011 में, सिएबेटनी ने ऑस्ट्रियाई विज्ञान कोष का स्टार्ट-प्राइस जीता, जो उस वर्ष पुरस्कार जीतने वाली एकमात्र महिला थी। ।