About me

Hello, I am a researcher in computer science at ENSTA (Brest, FR) working on ''multi-agent coordination algorithms and behavioral simulation''. Prior to this, I held a lecturer contract in computer science (2022–2023) at École Navale (Brest). Before that, I completed postdoctoral research at ONERA (Toulouse, 2021), LIRMM (Montpellier, 2020), and LIS (Marseille, 2019), also engaging in research and teaching. I obtained a Ph.D. in Logic-Based Artificial Intelligence from Aix-Marseille Université (2018), supervised by (PR-ex) Pierre Siegel and (PR) Andrei Doncescu, and a M.Sc. in Electrical and Automation Engineering from ENSEEIHT (Toulouse, 2015).

Research

My research focuses on symbolic AI and its applications, emphasizing efficient algorithm design and the simulation of intelligent behaviors in complex environments. I work on Knowledge Representation & Reasoning (non-monotonic reasoning, non-classical logics), declarative programming, and their theoretical foundations and practical implementations.

Publications

Teaching

Projects

(2022-2025) Ecole navale-IREnav: Projet AID-TECTONIC (An environmenTal knowlEdge-based approaCh for real-time navigaTiOn of uNmanned aerIal vehiCles beyond GNSS). The purpose of this research project is to propose an alternative operational positioning system for a UAV based on video images. This approach will be based on the embedding of knowledge (environmental, mission planning) which will evaluate errors in the positioning of the UAV and decide in real-time on the progression of the mission to adapt its navigation trajectory according to the information from image analysis, sensor data from sensors (altimeter, IMU, etc.), weather conditions, etc.

Presentations

Miscellaneous

📝 When writing... Writing high-quality academic or technical content requires not only clarity of thought but also the right set of tools. Whether you're drafting code, writing mathematical expressions, preparing presentations, or submitting to scientific journals, choosing the appropriate software and resources can significantly enhance both your efficiency and output. Below is a curated list of tools and platforms that support writing, editing, typesetting, and publishing in professional and academic contexts. I'm a faithful supporter of Vim as a powerful and efficient text editor, and LaTeX for high-quality typesetting, especially in academic and technical writing. For mathematical and logical notation, tools like Detexify (for symbol lookup) and resources from LaTeX for Logicians are particularly valuable. When preparing presentations, I rely on Beamer, a powerful LaTeX class that enables the creation of professional slides with full support for mathematical content. For spellchecking and language support, the following tools are highly recommended: Merriam-Webster, and Collins Dictionary. When preparing scientific articles, the following resources may be helpful for finding calls for papers and academic rankings: CORE, Conference Ranks (for conferences and journal rankings), SJR (journal ranking), WikiCFP, and EasyChair (for conferences, journals, symposia, etc.). CJR Track – Conference & Journal Finder is a research-oriented tool developed and maintained by @JLVM, designed to help researchers easily find and track relevant academic events.

🚧 When coding... My approach to coding is shaped by a strong foundation in logic, problem-solving, and system design. I value clean, maintainable code and leverage tools and languages that align with efficiency, expressiveness, and performance. I strongly use SWI-Prolog for tasks such as theorem proving, solving logical conjectures, modeling non-monotonic reasoning, and general-purpose declarative programming. Alongside this, I work with several other programming languages depending on the context, including Python (for scripting and data analysis), C/C++ (for performance-critical applications), HTML/CSS (for front-end development), and Bash (for automation and system-level scripting). My preferred development environments are based on UNIX-like systems, particularly macOS and various Linux distributions. These platforms provide robust support for development workflows, terminal customization, and seamless integration with command-line tools. I also make extensive use of version control systems such as Git, often paired with platforms like GitHub or GitLab, to manage codebases efficiently. Additionally, tools like Docker and Kubernetes are part of my toolkit for containerization and orchestration when needed.