Tailor made solutions built with fun.

Our Expertise
Functori was founded by like minded engineers and researchers who share the same passion for technological challenge.
Blockchain

Blockchains

We have more than seven years of experience in blockchains and decentralized applications development.

We take part in the development of public blockchains (in particular Tezos) and have built open source private blockchain instances with on-demand extensions. This work is complemented by tooling such as block explorers, smart contract languages, IDEs, scenarios and testing tools, etc. We have also built numerous blockchain-based systems and decentralized applications, and developed/reviewed a bunch of sensitive smart contracts.

Formal Methods

Formal Methods

We have experts in automated reasoning, in computer-aided verification, and in model checking.

We have contributed to several tools like the SMT solver Alt-Ergo, the parameterized model checker Cubicle. We have also contributed to the model checker Kind2, or the formally verified SMTCoq plugin which allows to use SMT solvers in Coq.
We have published more than 20 research papers in the top international conferences on formal methods (CAV, IJCAR, TACAS, FM, FMCAD, NFM, etc.)

Languages

Languages

We have expertise in programming languages design & DSLs, compilation, profiling, and meta-programming.

We have contributed to different software in this field such as the OCaml memory profiler and js_of_ocaml. In the blockchain world, we contributed to Tezos' smart language "Michelson", and the high level language "Liquidity" with its compiler to/from "Michelson". We also wrote smart contracts IDEs that are able to generate Javascript/Typescript interface code from smart contracts, and with built-in DSLs to describe tests scenarios

Our Solutions and Services
Tezos Integration

We have an extensive experience and a deep understanding of the Tezos blockchain. In addition to our contribution to its core development, we help its ecosystem grow by providing custom smart contracts, crawlers, SDKs, libraries, tools, and our integration expertise for companies that want to build on Tezos.

Smart Contracts Review

We review your smart contracts to ensure that they are as safe as possible. Our smart contracts experts infer the specification from the code, confront it to yours, or to existing specifications, and provide you with a detailed report. With our review, you will gain more confidence in your dApp.

Research & Development

We deliver custom, safe and secure solutions, and help bring your ideas to life: from POC/MVC to a final product deployment.

We like challenging projects that require some R&D. We think innovation is a key component to differentiate your solution from others.

NFT Platforms

NFTs (Non-Fungible Tokens) are unique and identifiable digital assets created on blockchains. They can represent different things in the real world: digital art, real-world assets, gaming items, photography, virtual goods, etc. Because your project is as unique as your NFTs, we develop for you a unique and customized platform.

Decentralized Finance

Decentralized finance (DeFi) is an emerging financial technology based on distributed ledgers used by cryptocurrencies and secured by blockchain technology. If you seek to engage and capitalize on opportunities created by this new economic system, Functori propose different solutions to help you build your unique platform and participate in this new whole paradigm.

Consulting & Training

We help you analyze and identify the best technical solution for your needs and deliver a detailed technical analysis of your project.


We like sharing our experience and expertise of blockchains, formal methods and OCaml. We can help your team better understand the ins and outs of blockchain technology.

They Trust Us

Team

Cagdas Bozman
Çagdas Bozman

CEO
Senior R&D Engineer

Mohamed Iguernlala
Mohamed Iguernlala

COO
Senior R&D Engineer

Alain Mebsout
Alain Mebsout

CTO
Senior R&D Engineer

Michael Laporte
Michael Laporte

Senior R&D Engineer

Maxime Levillain
Maxime Levillain

Senior R&D Engineer

Thomas Sibut-Pinote
Thomas Sibut-Pinote

Senior R&D Engineer

Rodi-Can Bozman
Rodi-Can Bozman

R&D Engineer

Contact Us

Have a project in mind?

Contact us!