تيزيانا مارجاريا

تيزيانا مارغاريا (مواليد 14 أكتوبر 1964) عالمة حاسوب ومهندسة برمجيات إيطالية ، تشمل مجالات بحثها الأساليب الرسمية والهندسة القائمة على النماذج . تلقت تعليمها في إيطاليا، وعملت في إيطاليا وألمانيا والسويد وأيرلندا، وتعمل حاليًا في أيرلندا رئيسةً لقسم أنظمة البرمجيات في قسم علوم الحاسوب ونظم المعلومات بجامعة ليمريك .

ولدت تيزيانا عام 1964. ^{[ 1 ]} بعد المدرسة الثانوية في Liceo Scientifico Gino Segrè في تورينو ، درست مارجريا للحصول على جائزة نوبل في الهندسة الإلكترونية في جامعة البوليتكنيك في تورينو ، والتي أكملتها في عام 1988. أكملت درجة الدكتوراه. هناك في عام 1993، مع أطروحة Verifica formale della correttezza del progetto di sistemi digitali . ^{[ 2 ]}

في غضون ذلك، شغلت منصبًا تدريسيًا في جامعة أوديني من عام 1988 إلى عام 1991، وكانت باحثة زائرة في جامعة آخن التقنية من عام 1991 إلى عام 1993. ومن عام 1993 إلى عام 1998، عملت كباحثة ما بعد الدكتوراه في جامعة باساو ، حيث تعاونت مع كريستيان لينغاور. ^{[ 2 ]} وواصلت العمل كباحثة في جامعة دورتموند التقنية من عام 1998 إلى عام 2004، كما عملت كأستاذة زائرة في السويد بجامعة أوبسالا من عام 1999 إلى عام 2000. ^{[ 2 ]}

في عام ٢٠٠٤، حصلت على وظيفة أكاديمية دائمة كأستاذة لهندسة الخدمات للأنظمة الموزعة في جامعة غوتنغن . ^{[ ٢ ]} انتقلت إلى جامعة بوتسدام في عام ٢٠٠٦، حيث شغلت منصب رئيسة قسم هندسة الخدمات والبرمجيات. ^{[ ٣ ]} وفي عام ٢٠١٥، انتقلت مرة أخرى إلى جامعة ليمريك ومركز ليرو لأبحاث البرمجيات التابع لمؤسسة العلوم الأيرلندية في ليمريك، ^{[ ٤ ]} حيث تشغل منصب رئيسة قسم أنظمة البرمجيات. ^{[ ٥ ]}

في يوليو 2023، انتُخبت رئيسةً جديدةً لجامعة لوبيك ، في مدينة لوبيك بألمانيا. ^{[ 6 ]} وفي فبراير 2024، صوّت مجلس شيوخ جامعة لوبيك على إقالتها . ^{[ 7 ]}

شملت اهتمامات مارغاريا البحثية الأولية التحقق الرسمي من الأجهزة. في أوائل التسعينيات، حوّلت تركيزها إلى استخدام أساليب رياضية مماثلة للتحقق الرسمي من البرمجيات، وقدمت إسهامات كبيرة، لا سيما في مجال التحقق من الوكلاء . كما كان لها دور في تطوير بنية الخدمات الموجهة ومنصات تطوير البرمجيات منخفضة التعليمات البرمجية . وبصفتها شخصية اجتماعية إلى جانب كونها عالمة، فقد كانت نشطة لعقود في تنظيم الجمعيات العلمية والمؤتمرات المتعلقة بالحوسبة، بالإضافة إلى مشاركتها في تأسيس وتحرير العديد من المجلات. كما كانت مارغاريا مُعلِّمة نشطة، بما في ذلك كجزء من الجهود المبذولة لتشجيع المزيد من الفتيات والنساء على الانخراط في مجالات العلوم والتكنولوجيا والهندسة والرياضيات . ^{[ 8 ]}

مارغاريا زميلة ورئيسة حالية للجمعية الأيرلندية للحاسبات ، وزميلة في جمعية تصميم وعلوم العمليات. ^{[ 5 ] [ 9 ]} وهي عضو في مجلس إدارة مجموعة عمل ERCIM المعنية بالأساليب الرسمية للأنظمة الصناعية الحرجة (FMICS)، ^{[ 10 ]} وتعمل كعضو في اللجنة التوجيهية للمؤتمرات الأوروبية المشتركة حول نظرية وممارسة البرمجيات (ETAPS)، ^{[ 11 ]} ونائبة رئيس مجموعة عمل تصميم وهندسة الأنظمة الإلكترونية التابعة للاتحاد الدولي لمعالجة المعلومات (IFIP). ^{[ 12 ]}

أصبحت رئيسة التحرير المؤسسة المشاركة للمجلة الدولية لأدوات البرمجيات لنقل التكنولوجيا في عام 1997. ^{[ 13 ]} وفي العام نفسه، أسست أيضًا شركة METAFrame Technologies التي تتخذ من دورتموند مقرًا لها، وشغلت منصب الرئيس التنفيذي فيها ، وهي شركة متخصصة في برامج نقل التكنولوجيا والتحقق الرسمي . ^{[ 8 ]}

حتى عام 2016، شغلت منصب رئيسة تحرير مجلة الاتصالات الإلكترونية التابعة للجمعية الأوروبية لعلوم وتكنولوجيا البرمجيات (ECEASST). ^{[ 14 ]} وأصبحت زميلة في جمعية علوم التصميم والعمليات (SDPS). ^{[ 8 ]} وهي المديرة المشاركة لمؤسسة العلوم في أيرلندا ومركز التدريب البحثي في ​​مجال الذكاء الاصطناعي في أيرلندا . ^{[ 15 ]}

وتقود حاليًا مشروع R@ISE، وهو برنامج شراكة استراتيجية تابع لمؤسسة العلوم في أيرلندا، يُعنى بتطوير برمجيات منخفضة/بدون كتابة أكواد لبرمجيات عالية الموثوقية، وذلك بالتعاون مع شركاء صناعيين ممولين ومجلس مدينة ومقاطعة ليمريك . ^{[ 16 ] [ 17 ]}

تزوجت مارجاريا من عالم الكمبيوتر برنارد ستيفن عام 1992؛ ولديهما طفلان. ^{[ 8 ]}

• ملف تعريفي في ليرو