President and Chief Scientist
President and Chief Scientist of MuKn, François-René “Faré” Rideau has more than 25 years of experience building programming languages and distributed systems. He notably proved the correctness of a (centralized) payment protocol early in his career.
Alumnus of École Normale Supérieure, Université de Nice, and Télécom Paris, Faré went to the United States and worked as a Senior Developer for companies such as ITA, Google and Bridgewater Associates.
While working in the industry, he notably maintained and rewrote ASDF, the build system at the heart of the Common Lisp open source community; he also kept publishing academic papers and speaking at programming language conferences.
Eventually, his interests in economics and software security converged with his experience in open source software and formal methods and he started working on Layer 2 solutions for the blockchain.
Faré founded MuKn in 2019, after learning the hard way the importance of surrounding yourself with the right team.