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
Talks I've Given
-
Immutable code analysis with tools.analyzer
Featuring Nicola Mometto
tools.analyzer is the code analysis infrastructure behind powerful libraries such as core.async and core.typed. Heavily inspired by the original clojurescript analyzer design, tools.analyzer takes it a step further by implementing a fully multi-pass, host-agnostic and heavily pluggable...
clojure clojurescript tools.analyzer clojure-jvm