About me
Hi there! I'm software developer from Argentina, 30 years old at the time of writing this. I studied Computer Science at the University of Buenos Aires. Aside from my programming background, I've been playing guitar for a long time, I also studied violin and I like music theory in general, currently also part of a choir. I like dancing, particularly swing and tango, and I try to dabble in arts as much as I can.
What I'm doing
Work
I'm currently working as a contractor for Midnight Foundation, working as a software engineer with focus on zero knowledge systems. Current focus is mainly on Starstream, a UTXO-based smart contract languages designed for a WASM zkVM built on lattice-based folding schemes. Most of my work is open source and can be found in this github account .
Side projects
I'm working on a mobile/desktop application to practice singing targetted pitches on top of a chord. The main objective is aural training for jazz-like improvisation, where you can customize what you want to practice on top of a standard or common progression (guide tones, roots, extensions not in the chord, dorian over ii, etc), and get visual feedback and stats tracking.
Other
In case you want to read my master's thesis (in spanish), and learn something about session types or liquid haskell, here it is.
Last edited: 2026-09-07
