About me
Hola, I'm Jonathan. I currently work as a generalist software engineer, and lately I've been spending a lot of time on agentic software development. In the past I've worked on functional programming, formal verification, compilers, and distributed systems, building tools that produce correct software. See the full details on the experience page.
For the full details, see my CV (PDF).
Available for consultancy and project proposals. Schedule a meeting.