Who We Are
We imagine and develop innovative custom solutions pushing the limits of possibility by connecting research, academic excellence, and operational know-how.
What we're good at
Connecting fundamental research and academic excellence with business needs
Academic Excellence
Team of experts from Grandes Écoles and PhDs, bridging cutting-edge research with real-world business challenges.
Advanced Technologies
Mastery of the most advanced programming languages, formal verification, compilers, and mission-critical systems.
Open & Sovereign Solutions
Strong commitment to open source and technological sovereignty, delivering transparent and maintainable systems.
Our Values
The principles that guide our work and relationships
Excellence
Top talent recruitment, academic excellence, bridging research and business
Empowerment
Technological independence, open source commitment, knowledge transfer
Creativity
Scientific monitoring, innovative solutions, modern R&D
Trust
Confidence in software, authentic relationships, quality focus
Collaboration
Agile teamwork, knowledge synergy, ecosystem animation
What We Stand For
Our commitments to open source, sovereignty, and knowledge transfer
Open Source
Sovereignty
We champion independence by building fully sovereign ecosystems, tools, infrastructure, and expertise designed to operate safely without external dependencies.
- • EU-based operations and infrastructure
- • Independent technology stacks
Trainings
We empower teams to master critical technologies. Our mission is to transfer deep technical knowledge, foster innovation, and cultivate the skills needed to develop reliable software.
Our History
An INRIA spin-off, Titagone is an advanced computing consulting firm connecting research, academic excellence, and innovation to transform technological challenges into strategic opportunities.
Our Team
Meet the experts driving innovation in programming languages and formal methods
Fabrice Le Fessant, PhD
Founder, President and CSO
Fabrice founded Titagone (as OCamlPro) in 2011 after 10 years at Inria. He contributed to OCaml itself and created key development tools.
Muriel Shan Sei Fan
Chief Operating Officer
As Titagone's COO, Muriel fosters a passionate team of OCaml, Rust, and Formal Methods experts, dedicated to supporting clients worldwide.
Pierre Chambart, PhD
CTO and Senior R&D Engineer
Pierre leads Titagone's R&D efforts, with expertise in compilers and formal verification.
Vincent Laviron
Deputy CTO and Senior R&D Engineer
Vincent specializes in static analysis of functional languages and contributes to shaping Titagone's technical strategy.
Julien Blond, PhD
Senior R&D Engineer
Julien specializes in compilation, applied formal methods for security systems and Common Criteria certification.
Damien Doligez, PhD
Senior R&D Engineer
Damien is one of the main authors of the OCaml system, with expertise in memory management and garbage collection.
Nathanaëlle Courant, PhD
Senior R&D Engineer
Nathanaëlle is specialized in efficient and verified reduction, and convertibility tests for theorem provers. She works on the OCaml optimizer.
Steven De Oliveira, PhD
Senior R&D Engineer
Steven specializes in formal verification, with experience in cryptography and Frama-C based verification.
Raja Boujbel, PhD
Senior R&D Engineer
Raja specializes in multi-agent systems, functional programming and compiler design. She is now the lead maintainer for the package manager opam.
Basile Clément, PhD
Senior R&D Engineer
Basile specializes in translation-validation for numerical scientific code. He is expert in program analysis and optimization with a wide knowledge of languages.
Guillaume Bury, PhD
Senior R&D Engineer
Guillaume studied integration of rewriting techniques inside SMT solvers. He works on the optimization of the OCaml compiler.
David Declerck, PhD
Senior R&D Engineer
David worked on weak memory models and compilers for x86 subsets and contributed to smart contracts languages such as Solidity. He is a COBOL expert.
Keryan Didier, PhD
Senior R&D Engineer
Keryan specializes in automated implementation methods for hard real-time systems. He is expert in programming language design.
Nicolas Berthier, PhD
Senior R&D Engineer
Nicolas holds a PhD in Computer Science, focused on energy-aware programming for embedded systems. He is expert in synchronous programming and model checking via abstract interpretation.
Nathan Rebours
Senior R&D Engineer
Nathan specializes in developer tooling, contributing to core OCaml ecosystem tools including Dune, Opam, and ppxlib. He has a long experience with OCaml, both working in the industry and the OCaml open source community.
Pierre Villemot, PhD
R&D Engineer
Pierre holds a PhD in Mathematics and worked as a postdoctoral fellow at Weizmann Institute, focusing on transcendental methods. He is expert in program verification and SMT solvers.
Arthur Carcano, PhD
R&D Engineer
Arthur holds a PhD in Mathematics and Computer Science and is Rust developer specializing in performance optimization, software design, and developer tooling.
Léo Andrès, PhD
R&D Engineer
Léo is expert in functional programming, symbolic execution and web assembly. He is the main developer of Owi, a bug finder based on Web Assembly.
Artemiy Rozovyk
Software Engineer
Artemiy holds a Master's degree from Paris 6 Sorbonne University and specializes in OCaml preprocessors and related tools, with a strong interest in blockchain technology.
Emilien Lemaire
R&D Engineer
Emilien holds a Master's degree works on the SuperBOL parser and analyzer, contributing to both COBOL and Rust development.
Boris Eng, PhD
R&D Engineer
Boris holds a PhD and works on the GnuCOBOL team at Titagone, contributing to compiler extensions.
Alexandre Doussot
R&D Engineer
Alexandre is an OCaml developer focused on language design, compilers, systems, and tooling.
Let's Work Together
Get in touch to discuss how we can help with your project