Ivan Litteri
Tech Lead at LambdaClass
Argentina
Summary
🤩
Rockstar🎓
Top SchoolIvan Litteri is a Tech Lead based in Argentina with five years of hands-on experience building backend systems and leading small technical teams. He currently guides engineering at LambdaClass and has overseen projects at Entropy 1729 while contributing to algorithm instruction at Universidad de Buenos Aires. His open-source work on lambdaworks shows deep engagement with cryptographic primitives—implementing hash modules and byte-conversion traits for SNARK/STARK tooling—indicating a strong foundation in low-level, correctness-critical code. Early internships at INVAP and the Argentine Air Force reflect practical avionics and systems exposure that inform his pragmatic engineering approach. Colleagues describe him as a stability-focused engineer who pairs leadership with meticulous contributions to CI/CD and core crypto functionality.
5 years of coding experience
Universidad de Buenos AiresTecnicatura, Técnico Aviónico, 8,49, Tecnicatura, Técnico Aviónico, 8,49 at Escuela de Educación Secundaria Tecnica Nº7 (T.R.Q) (IMPA)
Spanish, English, German
Stackoverflow
58reputation
3kreached
3answers
0questions
Github Skills (14)
proofs10
proof10
rust10
cryptography10
math9
mathematics9
data-structure7
data-structures7
algorithm7
algorithms7
pandas6
attribute6
python6
testing5
Programming languages (15)
Github contributions (5)
lambdaclass/lambdaworks
Feb 2023 - Feb 2023
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:194 reviews, 66 commits, 47 PRs in 13 days
Contributions summary:Ivan contributed to the implementation of core cryptographic functionalities within the `lambdaworks` repository, specifically focusing on hash functions and byte conversion mechanisms. They added a `hash` module and a `ByteConversion` trait, defining interfaces for cryptographic hashing and byte representations of data. Their work included implementing `ByteConversion` for the `UnsignedInteger` type and fixing CI/CD related issues, demonstrating a focus on fundamental cryptographic operations and ensuring build stability.
cryptographysnarkscryptographicrustto-do
algoritmos-iii/algo3-discord-bot
Aug 2021 - Sep 2022
Bot de discord
Contributions:7 reviews, 146 commits, 45 PRs in 1 year
bot-de-discorddiscord-jsdiscordbotdiscord-bot
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.