Juan Bono
Ayudante De Primera En Taller De Programación 1 at UTN Facultad Regional Delta
Buenos Aires, Autonomous City of Buenos Aires, Argentina
Summary
🤩
Rockstar🎓
Top SchoolJuan Bono is a software engineer with 12 years of experience blending backend development, teaching, and open-source contributions from Buenos Aires. He currently teaches Programming Workshop I at the University of Buenos Aires and serves as a developer at LambdaClass, bringing academic rigor to practical engineering. At AdRoll he shipped production-grade systems, and his open-source work includes meaningful contributions to lambdaclass/cairo-vm, where he improved core VM memory handling and implemented features like get_segment_used_size and get_return_values. Comfortable navigating low-level VM internals and high-level system design, he combines debugging discipline with a keen interest in provable computation. Known among peers for clear refactors and robust tests, he often bridges research-oriented projects and production constraints.
12 years of coding experience
4 years of employment as a software developer
Ingeniería en Sistemas de Información, Ingeniería en Sistemas de Información at UTN Regional DeltaIngenieria en Sistemas de Información, ENGINEERING, Ingenieria en Sistemas de Información, ENGINEERING at Universidad Tecnológica Nacional
Github Skills (8)
memory-management10
rust10
cryptography10
testing10
blockchain9
compiler-compiler9
compiler9
programming-language8
Programming languages (27)
Github contributions (5)
lambdaclass/cairo-vm
Oct 2022 - Jan 2023
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:3 releases, 414 reviews, 25 commits in 2 months
Contributions summary:Juan primarily contributed to the Cairo VM's core functionality, focusing on adding and modifying methods within the `vm_core` and `memory_segments` modules. Their work includes implementing features like `get_segment_used_size`, `get_return_values`, and related testing. They also refactored code formatting and improved the handling of memory-related operations, showcasing a strong understanding of the VM's internal architecture.
zkpcompilerprogramming-languageintermediatecomputation
juanbono/pingstats
Feb 2015 - Jun 2016
Contributions:5 commits, 4 pushes, 1 branch in 1 year 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.