About me
I'm a R&D Engineer with a background in logic, type theory, programing languages, formalisation of mathematics, compiler engineering, distributed systems, technical writing for documenting software. See the full details on the experience page.
Interests: formal methods, in particular, functional programming, dependently-typed type theory, formal verification, automatic theorem proving, compiler design, programming languages, choreographical programing, distributed systems, and proof assistants, mostly formal tools that produce correct software. More recently, agentic software development techniques.
For the full details, see my CV (PDF).