Clément Pascutto

Since 2023, I have been the CTO of Inekto. I am interested in bridging end users needs with interesting, complex computer science problems. I work on delivering efficient, spot-on applications to our clients while providing a space to work on hopefully fun, interesting software to my fellow computer scientists and developers.

Before that, I had been working on high-performance distributed databases in the Irmin team of Tarides as a Senior Software Engineer.

In 2023, I defended my 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.