Services
Consulting & Collaboration
We bring formal rigour and deep technical expertise to companies, institutions, and cultural projects — across any industry.
What we offer
Specialized expertise for complex problems.
Consulting
Pretty much anything involving logic, systems, and code — for any industry. Formal methods, type theory, compiler design, ML infrastructure, distributed architectures, and whatever else your stack throws at us.
Institutional collaboration
Co-research and co-development with universities, labs, and cultural institutions. We co-design experiments, co-author papers, and build the tooling around hard problems.
Verification
Rigorous verification of software and hardware correctness using theorem provers, model checkers, and custom formal tools built for your specific domain.
Selected work
Some things we've done
SCHIRN Kunsthalle, Frankfurt
Development work for an exhibition at the SCHIRN, built on our SLOP infrastructure — probing the latent biases and imagery of diffusion models.
Mediapart
Technical consulting for Mediapart, the independent French investigative newspaper.
Get in touch
Tell us about your project, your institution, or your idea.