Nicola Mometto is a software developer with interests in programming languages (particularly LISPs), functional programming techniques and compiler design. He has developed and maintains several widely used static analysis libraries for Clojure, a Clojure decompiler, and is a frequent contributor to the Clojure language itself.

Currently he works at https://www.imandra.ai/ as a R&D engineer working (mostly in OCaml) at formal verification problems