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.
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 & review
Long engagements on critical systems, such as the core Tezos protocol since 2021.
Collaborative research
Two funded consortia, one coordinated by us.
Products
Argos, born from that research, in production since 2023.
Selective co-founding
Occasionally, we become the technical co-founder of a company we believe in: Fraktion, GOAT Stadium.
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 in hadronic physics; OCaml engineer.
Michael Laporte
MSc from Université Paris-Diderot.
One address, routed to the right person.
Pick your topic, we answer within two working days.
Functori SAS · 71 boulevard de Brandebourg, 94200 Ivry-sur-Seine, France · contact@functori.com