Clément Pascutto

Since 2018, I have been working on high-performance distributed databases in the Irmin team of Tarides as a Senior Software Engineer.

Since 2020, I have also been pursuing a Ph.D. at the Formal Methods Laboratory (LMF) with the help of Jean-Christophe Filliâtre on the design and implementation of Gospel, a formal specification language for OCaml, and Ortac, its runtime assertion checker. You may read more about this here.