Expert Overview

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

Things I'm Doing
 
Talks I've Given

Talks I've Given

About me

My Work

Developer

Bronsa

Social and Blogging

@bronsa_