Research and Innovation - Mathematical Formulas

Research Lab

Discover our contributions to computer science research, latest publications, and academic collaborations

Recent Research Papers

Our team publishes cutting-edge research in formal verification, programming languages, and software engineering

2025
Cross-Language Symbolic Runtime Annotation Checking
Zhicheng Hui, Léo Andrès(JFLA 2025)
2025
Tail Modulo Cons, OCaml, and Relational Separation Logic
Clément Allain, Frédéric Bour, Basile Clément, François Pottier, Gabri...(ACM)
2025
L'explication par la paresse: Techniques d'évaluation hybrides à des fins d'explication de calculs
Louis Gesbert(JFLA 2025)
2025
Relational Abstractions Based on Labeled Union-Find
Dorian Lesbre, Matthieu Lemerre, Hichem Rami Ait-El-Hara, François Bob...(PLDI 2025)
2025
Storable types: free, absorbing, custom
Basile Clément, Gabriel Scherer(JFLA 2025)
View All Papers

Research Partners

We collaborate with leading universities and research institutions worldwide

CEA List
INRIA
IRILL
OCaml Software Foundation

Explore Our Open Source Projects

Check out our GitHub repository to see our latest work and contributions

Visit our GitHub
Titagone
Success StoriesResearch LabResearch Papers
About UsCareerLegal NoticePrivacy Policy
Follow us
LinkedinX (Twitter)
Copyright © 2025 Titagone.