Khalid BOURR

DALL·E 2023-12-10 18.24.28 - Design an ultra-minimalist and sophisticated square logo with the initials 'K B'. Utilize a very small and delicate font for the initials, ensuring th

About Me

Research Fellow with comprehensive expertise across the robotics stack, underpinned by degrees in Mathematics (BSc, MSc) and a PhD in CS/Mathematics. Proven ability to architect robotic solutions from low-level control (vehicle dynamics) to high-level coordination (multi-robot DSL design). Currently focused on applying advanced AI techniques to solve complex robot navigation problems in unstructured forest
environments.

  • Residence16 via andrea d'accorso Camerino(MC) 62032
  • e-mailkhalid.bourr@gmail.com
  • Phone+39 3335016702

What I Do

Research & AI

My research is centered around designing domain-specific languages (DSLs) for multi-robot systems, with a focus on decentralized coordination. This work involves creating innovative tools and methodologies that enable autonomous robots to collaborate efficiently in a decentralized manner. My efforts are geared towards enhancing communication and decision-making among robots, which is essential in complex, dynamic environments. Through this research, I aim to advance the capabilities of multi-robot systems, particularly in scenarios that require coordinated actions without central control.

Formal methods

In verifying my designs, I predominantly utilize TLA+, Uppaal, and Prism. TLA+ is key for its high-level specification and model checking, essential for complex algorithms. Uppaal is invaluable for real-time systems verification, offering powerful modeling and simulation capabilities. Prism complements these with its proficiency in probabilistic model analysis. This combination ensures thorough validation of my designs, guaranteeing both accuracy and efficiency in my work.

ROS

I specialize in developing robotic software using ROS and ROS2, with a preference for ROS2 due to its advanced features and extensive community support. This community not only provides valuable insights and resources but also plays a crucial role in the ongoing development and improvement of ROS2. This makes ROS2 an indispensable tool in my toolkit, enabling me to create more efficient and innovative robotic solutions.

Java

For implementing ideas and developing tools and parsers, Java is my preferred choice due to its versatility and robust architecture. Its extensive libraries and strong type system facilitate efficient development, especially in complex data processing. Java's reliable exception handling is crucial for precise parser creation. Additionally, the widespread use and supportive community of Java provide a strong foundation for practical application of my theoretical concepts.

Worked in

Resume

Experiences

01/05/2024-Till now
University of Trieste

Robotic Research Fellow

Project: AI4FOREST - An Artificial Intelligence Approach for Forestry Robotics in Environment
Survey and Inspection (PRIN 2022 - NextGenerationEU funded)
Role Focus: Developing AI-driven autonomous navigation and environmental modeling techniques for forestry robots, contributing to the creation of detailed forest Digital Twins.
Key Responsibilities & Achievements:
• Designing and developing multi-fidelity simulation environments (virtual models) to train and validate AI-based robot controllers for complex forest scenarios.
• Creating machine learning-based controllers focused on terrain traversability assessment and robust navigation decision-making in unstructured environments.
• Developing and implementing advanced SLAM-based navigation algorithms for precise
localization and mapping, enabling the creation of forest Digital Twins.

20/12/2019 – 10/10/2023
University of Camerino

Researcher and PhD Candidate

Project Name: SEDUCE - Designing Spatially Distributed Cyber-Physical Systems Under Uncertainty
Thesis Title: DSLs for Modeling, Coordinating, and Programming Multi-Robot Systems
Objective: Craft a high-level programming and modeling approach for Multi-Robot Systems (MRS) that bridges the gap between mission design and execution, simplifiying the intricacies of robotics software development.
Achievements:
• Developed a programming methodology tailored for coordinating MRS, enabling developers to focus on MRS behavior and achieve readable, reusable, and maintainable code.
• Introduced modeling techniques to represent the high-level design of MRS missions, using graphical representations to depict complex mission sequences and interactions.
• Consolidated paradigms that allowed a smooth transition from high-level design of MRS missions to concrete implementation, preserving the original logic and structure.
• Verified the scalability and effectiveness of the approach through rigorous testing across various MRS scenarios, even in increasingly complex scenarios in a Robot Operating System (ROS) environment.
• Contributed to improving the efficiency and quality of MRS software development, paving the way for more complex, scalable, and effective MRS missions in the future.
• Published research findings in various conferences and journals, collaborating with prominent professors and researchers in the field.
Additional Note: This thesis was supported by a full scholarship.

01/10/2021–01/04/2022
GSSI - Gran Sasso Science Institute

Junior Scientist

GSSI Scientific Collaboration on the topic "Robotic Mission Specification"
Research Focus: Enhancing Robotic Mission Specification through Advanced Coordination Languages.
Objective: Elevate the capabilities of robotic missions through the integration of advanced coordination
languages for mission specification and execution, ensuring a scalable, maintainable, and effective mission output.
Achievements:
• Leveraged coordination languages to streamline robotic mission specifications, emphasizing dynamic
planning and seamless process interaction.
• Pioneered scalable design patterns that serve as foundational blocks rooted in real-world requirements,
effectively mapping out robotic missions.
• Demonstrated exceptional flexibility in mission design by harnessing the power of pattern composability
and coordination languages.
• Validated methodologies through rigorous testing, proving efficiency, scalability, and adaptability in various
robotic mission scenarios.
• Fostered international collaboration and knowledge exchange, laying the groundwork for next-generation
multi-robot system missions and contributing to the future of robotic research.
Additional Note: This research visit was under guidance of Prof. Patrizio Pelliccione.

01/02/2019-01/07/2019
Labex IMOBS3

Internship Robotic

Project Name: Cap 20-25 for Innovation Initiative
Objective: Develop robust models and control mechanisms for robotic vehicles, specifically differential drive robots.
Achievements:
• Constructed formal mathematical models for differential drive robotic vehicles, serving as the foundation for subsequent control strategies.
• Conducted an exhaustive analysis on the controlability of non-linear systems, focusing on optimal control for obstacle avoidance and energy efficiency.
• Designed and implemented optimal control algorithms for these non-linear dynamical systems, enhancing practical applications of robot motion planning and control in complex environments.

Additional Note: This internship was supported by a competitive grant awarded through Challenge 2 of CAP 20–25,
focused on "Innovative systems and services for transport and production".

01/05/2019–01/08/2019
Middle school of Saint Exupery in Lempdes, France

Mathematics Teacher

Responsibilities:
• Developed and delivered comprehensive mathematics instruction to middle school students, integrating innovative teaching methods to facilitate understanding and spark interest in the subject.
• Introduced students to fundamental concepts in computer science, fostering computational thinking and familiarizing them with basic coding principles.
• Created a conductive learning environment that catered to diverse learning styles and abilities, fostering a passion for learning and promoting academic success.

Knowledges

  • ROS
  • ROS2
  • JAVA
  • DDS
  • TLA+
  • BPMN
  • DQN
  • TensorFlow
  • Formal Languages
  • Pytorch
  • Raspberry Pi
  • Gazebo
  • Docker
  • SpringBoot
  • MoveIT
  • Uppaal
  • Matlab
  • GIT
  • Python
  • Xtend
  • Xtext
  • Vue js

Languages

Arabic

100%

French

100%

English

90%

Italian

70%

Education

2020-2024
Faculty of Science and technology – Unicam University

PhD in Computer science and Mathematics

Faculty of Science and technology – Unicam University.

2017 – 2019
Faculty of Science and technology – Clermont Auvergne University

Master degree, Mathematics

Faculty of Science and technology – Clermont Auvergne University.

2014 – 2016
Faculty of Science – Ibn Tofail University

Bachelor’s degree, Mathematics and applications

Faculty of Science – Ibn Tofail University

2012 – 2014
Faculty of Science – Ibn tofail university

DEUG, Computer Sience and Mathematics

Faculty of Science – Ibn tofail university

2011 – 2012
Abderahmane Ennacer, Kenitra High school

High school diploma, Mathematical Science B

Abderahmane Ennacer, Kenitra High school

Summer schools

SRI International

Tenth Summer School on Formal Techniques: Virtual Edition
2021

OPLSS

Oregon Programming Languages Summer School Virtual Edition
2021

Publications

  • Bourr, K., Pugliese, R., Tiezzi, F., & Bettini, L. “A Framework for Runtime Adaptation of X-Klaim
    Programs for ROS-based Multi-Robot Systems”. (In preparation)
  • Bourr, K., Tiezzi, F., & Bettini, L. (2025). “An Enhanced Framework for Model-Driven Multi-Robot
    Systems”. International Journal on Software Tools for Technology Transfer (STTT). (Status: Submitted)
  • Bourr, K., Cottiga, S., & Seriani, S. “Surrogate model for enhanced rover traversability”. (In
    preparation)
  • Bourr, K., Tiezzi, F., & Bettini, L. (2024, October). “Model-Driven Development of Multi-Robot
    Systems: From BPMN Models to x-Klaim Code”. In International Symposium on Leveraging Applications
    of Formal Methods (ISoLA 2024) (pp. 224-242). Cham: Springer Nature Switzerland.
  • Bettini, L., Bourr, K., Pugliese, R., & Tiezzi, F. (2023). “Coordinating and Programming Multiple ROS-
    Based Systems with X-Klaim”. International Journal on Software Tools for Technology Transfer (STTT).
    25(5), 747-764.
  • Bettini, L., Bourr, K., Pugliese, R., & Tiezzi, F. (2022). “Programming multi-robot systems with X-
    Klaim”. In Proceedings of the 11th International Symposium on Leveraging Applications of Formal
    Methods (ISoLA 2022), Part III (Vol. 13703, pp. 283-300). Lecture Notes in Computer Science. Springer.
  • Bourr, K., Corradini, F., Pettinari, S., Re, B., Rossi, L., & Tiezzi, F. (2021). “Disciplined use of BPMN for
    mission modeling of Multi-Robot Systems”. In Proceedings of the Forum at the Practice of Enterprise
    Modeling conference (PoEM 2021) (Vol. 3045, pp. 1-10). CEUR Workshop Proceedings.
  • Bettini, L., Bourr, K., Pugliese, R., & Tiezzi, F. (2020). “Writing robotics applications with X-Klaim”. In Pr
    oceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA
    2020), Part II (Vol. 12477, pp. 361-379). Lecture Notes in Computer Science. Springer.

Portfolio

B2XKLAIM

The coordination of autonomous agents in Multi-Robot Systems (MRS) presents significant software engineering challenges, demanding robust mechanisms for specifying, implementing, and managing complex interaction protocols and distributed workflows. Model-Driven Engineering (MDE) offers a promising approach by raising the level of abstraction, allowing developers to focus on system logic using high-level models that can then be transformed into executable code. Addressing this, the B2XKlaim framework provides a toolchain for the model-driven development of MRS coordination logic, specifically enabling the translation of collaborative business processes modeled using the Business Process Model and Notation (BPMN) 2.0 standard into executable code for the XKlaim coordination language, which is well-suited for programming distributed agent systems via tuple space communication.

Contact

Trieste, Italy

+333 5016 702

khalid.bourr@gmail.com

Freelance Available

How Can I Help You?