Sostieni Guillermo Perez

I am a software engineer turned computer scientist working on formal verification, learning theory, and theoretical computer science in general. I code for fun and to improve my understanding of algorithms.

Here you are able to support my team's coding efforts on tools like Acacia-Bonsai. We promise all money really is going towards buying coffee (or credits for coding agents).