Roles

Since my appointment as a faculty member at the Department of E-Commerce and Data Analysis, Economics and Political Science, University of Tripoli, on March 30, 2010, I have been involved in teaching a range of undergraduate Computer Science courses, including Computer Fundamentals, Computer Applications, Database Programming, Introduction to the Internet and Networks, and Programming Languages. I have also supervised undergraduate graduation projects and provided academic guidance to students. In addition, I helped manage, organize, and supervise computer laboratory activities, including practical tasks and programming applications. I also contributed to updating, recording, and managing student data, supporting teaching and academic activities within the department and faculty, and participating in academic tasks related to the field of Computer Science.

Careers

• 2008–2010 — Part-Time Faculty Member, University of Tripoli
• March 2010 – Present — Faculty Member (Assistant Lecturer), Department of E-Commerce and Data Analysis, University of Tripoli
• January 2013 – October 2020 — Sponsored Graduate Student, University of Tripoli
• October 2020 – Present — Lecturer, Department of E-Commerce and Data Analysis, University of Tripoli
• February 2022 – 2026 — Postdoctoral Fellow, University of Ottawa, Canada

Research Interests

My research interests focus on Computer Science and Software Engineering, particularly Goal Modelling, Requirements Engineering, and system modelling using UML and SysML, with an emphasis on achieving traceability among requirements, models, and software systems. My interests also include Model-Driven Engineering, adaptive socio-cyber-physical systems, self-adaptive systems, and formal methods for verification and validation.

My research interests also encompass smart contracts and blockchain technology, executable legal contract modelling, access control, and cybersecurity. In addition, I am interested in the application of Artificial Intelligence and Large Language Models (LLMs) to Software Engineering, including the transformation of natural-language requirements and contracts into formal models and software. I am also interested in applying formal modelling and software engineering techniques to domains that require traceability, verification, and decision-making.

External Activities

• Member, Program Committee, JURIX 2026, International Conference on Legal Knowledge and Information Systems, 2026.
• Co-Chair, Co-located Events, 47th IEEE/ACM International Conference on Software Engineering (ICSE 2025), Ottawa, Canada.
• Member, Organizing Committee, 17th International i* Workshop, co-located with the ACM/IEEE International Conference on Conceptual Modeling (ER 2024), Pittsburgh, USA.
• Member, Program Committee, IEEE Workshop on Formal Requirements (FormReq), 2020 and 2021.
• Reviewer, Software and Systems Modeling (SoSyM), Springer, 2022–2024.
• Reviewer, Electronics, MDPI, 2024.
• Reviewer, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), main and poster tracks, 2022.
• Reviewer, International Conference on Research Challenges in Information Science (RCIS), 2020.
• Reviewer, International Conference on Advanced Information Systems Engineering (CAiSE), 2018 and 2019.
• Reviewer, IEEE International Requirements Engineering Conference (RE), 2016 and 2017.
• Reviewer, IEEE International Model-Driven Requirements Engineering Workshop (MoDRE), 2017.
• Part-Time Professor, School of Advanced Technology, Algonquin College, Ottawa, Canada (2022–present); St. Lawrence College, Cornwall, Canada (2022–2023).
• External Developer, Faculty of Health Sciences Dean’s Office (2021–2022) and Telfer School of Management (2020), University of Ottawa.
• Volunteer Developer, Palliative Care Outpatient Clinic, The Ottawa Hospital Cancer Centre (2017–2020).
• Professional Memberships: Member of IEEE (Ottawa Section) and ACM.