I am a research engineer focused on the intersection of Applied Category Theory and Bitcoin Script.

Research Focus:

• Bridging the Semantic Gap: Developing categorical frameworks to ensure the integrity of Bitcoin meta-protocols.
• Formal Ledger Structures: Extending Nester’s (2021) monoidal models to support state-bound assets.
• Verified Compilers: Building static analysis pipelines for high-level introspective languages to prevent stack and liveness vulnerabilities.

Focused on the formalization of data integrity and structural consistency within the UTXO model.

• Formal Analysis of Bitcoin Metaprotocols: In-depth research on the evolution of Inscriptions and Ordinals. Developed a theoretical framework to analyze the "Semantic Gap" in current L2 implementations. [Formal metaprotocol Semantics]
• Socio-Technical Synthesis: Maintainer of a Bitcoin Research Repository dedicated to the study of Bitcoin’s socio-technical dynamics, focusing on permanence and censorship-resistance.
• Scientific Communication: Publishing technical insights and high-fidelity French translations of seminal Bitcoin papers and research to foster the local developer ecosystem via LinkedIn.

Exploring the intersection of Mixture-of-Agents (MoA) and decentralized coordination protocols.

• Multi-Agent Architectures: Built and architected autonomous systems using the Model Context Protocol (MCP).
  • Research Inquiry: What is the ontological nature of such objects? What new coordination spaces do they create? How can we embed security and sovereignity into agentic systems?
• Agentic Decentralized Environments: Experimental deployment of reasoning-capable agents across X (Twitter), Discord, and Bitcoin for automated community management and wallet tracking using lasereyes.
• Swarm Intelligence & Distributed Inference: Explored Mixture-of-Agent (MoA) architectures to support complex reasoning tasks, aiming to create distributed inference systems that rely on Bitcoin as a final layer of truth.

• 🎓 Computer Science (M1) – Aix-Marseille Université (AMU) & Université libre de Bruxelles (ULB)
• 📜 Mathematics & Applications (Master’s in Education & Research) – AMU
• 🧑‍💻 CTO at Tokenomeme – Led infrastructure and GCP-based deployment of the Tokenomeme API
• 👷‍♂️ Blockchain Developer at Juneo, Avalanche fork (juneojs-examples)
• 🧑‍🏫 Speaker Supervisor – URLab, ULB Hackerspace
• 🌍 CIVIS European University Alliance Ambassador for AMU
• 🤝 Steward & contributor at DAO Brussels (Manifesto)

Formal Methods & Research

Core Development

Bitcoin & Protocol Engineering

Environments & Workflow

"Bitcoin is not just a financial tool — it's a paradigm shift in how we think about trust, coordination, and digital permanence."

I see the Bitcoin protocol as a machine for civilizational continuity. It provides the rigid, immutable foundation of truth that the digital age lacks. While its core is intentionally resistant to change, this very rigidity makes it the only reliable anchor for long-term coordination, capable of surviving political regimes, infrastructure decay, and human error.

My research focuses on the duality between Bitcoin's rigid consensus and the flexibility of autonomous agents. I believe that agents, powered by reasoning protocols, can act as the "semantic layer" that unlocks dormant layers of functionality. By combining Bitcoin’s permanence with agents' flexibility, we can create new frontiers in permissionless economic expression and long-term data assurance without compromising the base layer's security.

• Semantic State-Binding: Resolving the gap between off-chain intent and on-chain validation through categorical frameworks.
• Introspective Covenants: Researching the evolution of Bitcoin scripting via Covenants, BitVM, and Simplicity.
• Structural Integrity: Ensuring data integrity and reproducibility for scientific and institutional research.
• Trust-Minimized Governance: Architecting decentralized voting systems that rely on UTXO-based permanence.

• Autonomous Reasoning: Leveraging the Model Context Protocol (MCP) to build verifiably sovereign agents.
• Distributed Inference: Exploring swarm intelligence and mixture-of-agent (MoA) architectures for decentralized reasoning.
• Sovereign Agentics: Developing agents capable of autonomous economic coordination on the Bitcoin layer.

My research and developments are strictly UTXO-native. I focus on the non-Turing complete security model of Bitcoin to avoid the systemic risks, state bloat, and technical debt inherent in account-based virtual machines (EVM/Ethereum). I believe in security through structure, not through complexity.

Thanks for stopping by! Feel free to connect and share thoughts around Bitcoin, Formal Methods, or Agentic AI. I am always open to exchanging ideas with fellow researchers and developers.