A small team, on purpose.
Functori was founded in 2021 in the Paris region by engineers from research. About eleven people today, five of them PhDs. Small enough that you talk to the people who write the code.
Researchers, hackers and builders.
We like hard problems, and we like solving them properly.
- Research-driven engineering
- We use and build our own tools
- Open source by default when we can
- We support and grow our community
- We work closely with academia
Engineering, research and products feed each other.
Client engineering keeps us on real, demanding systems. Funded research lets us tackle open problems with academic labs. What works becomes a product.
Engineering & advisory
Long engagements on critical systems, such as the core of Tezos since 2021.
Collaborative research
Two funded consortia, one coordinated by us.
Products
Argos, our investigation platform, born from that research.
Selective co-founding
Occasionally, the technical co-founder of a company we believe in. Ventures →
The people you will talk to.
Çağdaş Bozman
PhD from École polytechnique on memory profiling for OCaml.
Mohamed Iguernlala
PhD from Université Paris-Saclay on SMT solving; long-time contributor to the Alt-Ergo prover.
Alain Mebsout
PhD from Université Paris-Saclay on model checking (Cubicle); postdoctoral research at the University of Iowa (Kind).
Maxime Levillain
PhD from Université Paris-Saclay; OCaml engineer.
Michael Laporte
MSc from Université Paris-Diderot.
One address, routed to the right person.
Write to contact@functori.com, or pick your topic below.
Functori SAS · 71 boulevard de Brandebourg, 94200 Ivry-sur-Seine, France · Public bodies welcome.