د. أمال أندى
- المؤهل العلمي: دكتوراه
- الدرجة العلمية: محاضر
- قسم التجارة الالكترونية وتحليل البيانات
- كلية الاقتصاد والعلوم السياسية
المهام
منذ تعييني عضو هيئة تدريس بكلية الاقتصاد والعلوم السياسية, قسم التجارة الإلكترونية وتحليل البيانات– جامعة طرابلس بتاريخ 30-03-2010، شاركت في تدريس عدد من مقررات علوم الحاسوب لطلبة مرحلة البكالوريوس، شملت مبادئ الحاسب الآلي، تطبيقات الحاسب الآلي، برمجة قواعد البيانات، مدخل الإنترنت والشبكات، ولغات البرمجة. كما توليت الإشراف على مشاريع تخرج الطلبة ومتابعة أعمالهم الأكاديمية، والمشاركة في إدارة وتنظيم والإشراف على مختبرات الحاسوب، بما في ذلك متابعة المهام العملية والتطبيقات البرمجية. كما ساهمت في تحديث وتسجيل وإدارة بيانات الطلبة، ودعم العملية التعليمية والأكاديمية داخل القسم والكلية، والمشاركة في الأنشطة والمهام الأكاديمية ذات الصلة بتخصص علوم الحاسوب.
المسيرة المهنية
- 2008–2010 — عضو هيئة تدريس متعاون، جامعة طرابلس
- مارس 2010 – حتى الآن — عضو هيئة تدريس (محاضر مساعد)، قسم التجارة الإلكترونية وتحليل البيانات، جامعة طرابلس
- يناير 2013 – أكتوبر 2020 — موفدة للدراسات العليا، جامعة طرابلس
- أكتوبر 2020 – حتى الآن — محاضر، قسم التجارة الإلكترونية وتحليل البيانات، جامعة طرابلس
- فبراير 2022 –2026 — باحث ما بعد الدكتوراه (Postdoctoral Fellow)، جامعة أوتاوا، كندا
الاهتمامات البحثية
تتركز اهتماماتي البحثية في علوم الحاسوب وهندسة البرمجيات، وبصفة خاصة في نمذجة الأهداف (Goal Modelling) وهندسة المتطلبات، ونمذجة الأنظمة باستخدام UML وSysML، وتحقيق التتبع بين المتطلبات والنماذج والأنظمة البرمجية. كما تشمل اهتماماتي هندسة النماذج المدفوعة (Model-Driven Engineering)، والأنظمة السيبرانية-الفيزيائية الاجتماعية المتكيفة، والأنظمة ذاتية التكيف، والطرق الرسمية للتحقق والتحقق من الصحة.
وتشمل اهتماماتي البحثية كذلك العقود الذكية وتقنية سلسلة الكتل (Blockchain)، ونمذجة العقود القانونية القابلة للتنفيذ، والتحكم في الوصول والأمن السيبراني، بالإضافة إلى استخدام الذكاء الاصطناعي ونماذج اللغة الكبيرة (LLMs) في هندسة البرمجيات وتحويل المتطلبات والعقود الطبيعية إلى نماذج وبرمجيات رسمية. كما أهتم بتطبيق تقنيات النمذجة الرسمية وهندسة البرمجيات في المجالات التي تتطلب قابلية التتبع، والتحقق، واتخاذ القرار.
النشاطات الخارجية
- عضو اللجنة العلمية، مؤتمر JURIX 2026، المؤتمر الدولي للمعرفة القانونية ونظم المعلومات (International Conference on Legal Knowledge and Information Systems)، 2026.
- رئيس مشارك للفعاليات المصاحبة، المؤتمر الدولي السابع والأربعون لهندسة البرمجيات (ICSE 2025)، أوتاوا، كندا.
- عضو اللجنة المنظمة، ورشة العمل الدولية السابعة عشرة حول i*، المقامة بالتزامن مع مؤتمر ER 2024، بيتسبرغ، الولايات المتحدة الأمريكية.
- عضو اللجنة العلمية، ورشة IEEE حول المتطلبات الرسمية (FormReq)، عامي 2020 و2021.
- مراجع علمي، مجلة Software and Systems Modeling (SoSyM)، دار Springer، 2022–2024.
- مراجع علمي، مجلة Electronics، دار MDPI، 2024.
- مراجع علمي، مؤتمر ACM/IEEE حول لغات وأنظمة هندسة البرمجيات المدفوعة بالنماذج (MODELS)، المسار الرئيسي ومسار الملصقات العلمية، 2022.
- مراجع علمي، المؤتمر الدولي لتحديات البحث في علوم المعلومات (RCIS)، 2020.
- مراجع علمي، المؤتمر الدولي لهندسة نظم المعلومات المتقدمة (CAiSE)، عامي 2018 و2019.
- مراجع علمي، المؤتمر الدولي لهندسة المتطلبات التابع لـ IEEE (RE)، عامي 2016 و2017.
- مراجع علمي، ورشة IEEE الدولية لهندسة المتطلبات المدفوعة بالنماذج (MoDRE)، 2017.
- أستاذ متفرغ جزئيًا، كلية التكنولوجيا المتقدمة، كلية ألجونكوين، أوتاوا، كندا (2022–حتى الآن)، وكلية سانت لورانس، كورنوال، كندا (2022–2023).
- مطور خارجي، مكتب عميد كلية العلوم الصحية (2021–2022) وكلية تلفر للإدارة (2020)، جامعة أوتاوا.
- مطور متطوع، عيادة الرعاية التلطيفية للمرضى الخارجيين، مركز السرطان التابع لمستشفى أوتاوا (2017–2020).
- العضويات المهنية: عضو في معهد مهندسي الكهرباء والإلكترونيات (IEEE) – فرع أوتاوا، وعضو في جمعية الحاسوب التابعة لـ ACM.
