📍 Amiens, Hauts-de-France, France
📧 asma.khoualdia@etud.u-picardie.fr | asma.khoualdia@u-picardie.fr
📞 +33 6 50 62 84 94
🔗 LinkedIn | Google Scholar | GitHub

My research focuses on autonomous robot swarms and how they achieve collective intelligence through simple local rules without direct communication.
I employ formal verification, automatic synthesis, and optimization methods grounded in satisfiability (SAT/Max-SAT) and constraint programming to guarantee correctness, self-stabilization, and robustness in swarm behaviors.

I also investigate the logical formulation and self-stabilization properties of distributed algorithms, such as the Synchronous Unison algorithm by Arora et al., using satisfiability-based approaches.

PhD Researcher — Towards an Explainable and Reliable Swarm AI based on (Maximum) Satisfiability
📍 Amiens, France | ⏰ Oct. 2025 – Sep. 2028

• Research on autonomous robot swarms exhibiting collective intelligence through local rules.
• Formal verification, automatic synthesis, and optimization using SAT and Max-SAT.

Research Intern — Analyzing Self-Stabilizing Algorithms through Constraint Programming
📍 Amiens, France | ⏰ June 2024 – Sep. 2025

• Logical formulation of the Synchronous Unison algorithm by Arora et al.
• Optimization through additional constraints to reduce redundant cases.
• Tools: Python, PySAT, CaDiCal, MapleSat, Glucose, OR-Tools, CNF/Constraint Encodings.

Development Engineer — Web Application for Task Management
📍 Tunis, Tunisia | ⏰ Apr. 2023 – Oct. 2023

• Designed and implemented features including task management, user profiles, and calendar integration.
• Developed and deployed a cloud-based, containerized web app with CI/CD automation.
• Tools: Angular, Spring Boot, Postgres, GitLab CI/CD, Docker, Kubernetes.

Full-Stack Developer Intern — Online Training Management Platform
📍 Tunis, Tunisia | ⏰ Mar. 2022 – Sep. 2022

• Managed training events, categories, and student registrations.
• Built role-based spaces for admins, students, and teachers.
• Tools: JHipster, Angular, Spring Boot, MySQL, AdobeXD.

Development Engineer — Online Sales Website & BI Dashboard
📍 Massy, France (Remote) | ⏰ Jul. 2021 – Aug. 2021

• Developed a commercial dashboard for sales analytics.
• Created an interactive geographic map using Leaflet.
• Tools: Angular, Bootstrap.

C = Conference

• [C.1] Asma Khoualdia, Sami Cherif, Stéphane Devismes, Léo Robert (2025).
  Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability.
  In The 31st International Conference on Principles and Practice of Constraint Programming (CP2025), Glasgow, Scotland.

• [C.2] Asma Khoualdia, Sami Cherif, Stéphane Devismes, Léo Robert (2025).
  Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability.
  In Journées Francophones de Programmation par Contraintes (JFPC2025), Dijon, France.

• “Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability” — CP2025 Main Conference, University of Glasgow
• “Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability” — CP2025 Doctoral Program, University of Glasgow
• “Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability” — JFPC 2025 Main Conference, Université Bourgogne Europe

• Reviewer: CP2025

• Race Checkpoint Runner Tracking Website
  🧩 Tools: JHipster, Spring Boot, Angular, Postgres

• Multi-Task Deep Learning for Image Fusion and Segmentation
  🧩 Tools: Keras, Scikit-Learn, Wheat Head Disease Dataset

• Autoencoder Variants: Vanilla AE, Deep AE, CAE, VAE, Denoising AE
  🧩 Tools: Keras

• AI/ML-Based Body Decoder for Emotion Recognition
  🧩 Tools: Mediapipe, OpenCV

• Sofrecom Academy (2023) — Java, Spring Boot, Angular, GitLab CI/CD, Docker, Kubernetes, Agile, UML

✨ “Towards an Explainable and Reliable Swarm AI — combining collective intelligence and formal methods.”