I'm a physicist interested in formal methods, constraint logic programming, music and linguistics.

• I'm a contributor to Scryer Prolog, a modern ISO Prolog implementation written in Rust. Recently I've been mostly working in the embedding interfaces for Rust, C and Wasm.