معرفی
Manel Barkallah is a Researcher at the University of Namur's Faculty of Computer Science, affiliated with the Namur Digital Institute. They hold a Doctorate in Sciences and a Master of Informatics (2015-2017). Their research focuses on coordination languages, cybersecurity tools, formal methods, and algorithm optimization. Key projects include leading the STS-Bach PhD project (Contextual Coordination Model for Socio-Technical Systems) and contributing to the CYBEREXCELLENCE initiative in cybersecurity. They actively participate in conferences and workshops, such as DisCoTec 2025 and the Belgium-Netherlands Software Evolution Workshop. Barkallah also promotes gender equality in STEM, organizing events like 'Women and Girls in Science' at UNamur.
Research interests span guarded lists, tool integration (e.g., B2Scala), and workbench development (Anemone). Their work emphasizes security, efficiency, and formal verification in distributed systems. Barkallah has contributed to 7 peer-reviewed publications and actively engages in academic outreach and mentoring.
