About me
I'm a R&D Engineer based in Bogotá with experience in formally verified systems, compiler engineering, distributed systems, and technical writing for documenting software. See the full details on the experience page.
Interests: dependently-typed type theory, formal verification, automatic theorem proving, compiler design, distributed systems, and proof assistants — formal tools that produce correct software. I've been using agentic software development techniques since minute one. Happy to chat on any of these topics.
For the full details, see my CV (PDF).