Lasaro Camargos
Tinkerer at Weilliptic
Minas Gerais, Brazil
Summary
🤩
Rockstar🎓
Top SchoolLasaro Camargos is a computer scientist and tinkerer based in Minas Gerais, Brazil, with 10 years of professional experience designing and implementing large-scale distributed systems, including P2P networks, network protocols, and consensus/agreement problems. He blends deep academic training (PhD) and university teaching with hands-on industry roles at Informal Systems, Commvault and Hedvig, moving smoothly between research and production engineering. His work focuses on reasoning about concurrency and consistency in distributed systems, and he contributes to open-source projects such as CometBFT—where he led codebase-wide refactors to improve maintainability and developer clarity by standardizing naming across tests and docs. Practical, detail-oriented and curious, he enjoys improving developer experience in complex systems while keeping correctness and determinism at the core.
10 years of coding experience
15 years of employment as a software developer
PhD, PhD at Universidade Estadual de CampinasDoctor of Philosophy - PhD, Doctor of Philosophy - PhD at USI Università della Svizzera italianaBSc, BSc at Universidade Federal de Uberlândia - UFU
English, Portuguese, Italian
Stackoverflow
504reputation
27kreached
5answers
5questions
Github Skills (15)
distributed-systems10
refactoring10
go10
refactorings10
distributed-system10
refactor10
blockchain9
bft-protocols9
java6
constants6
configurations6
tlc6
model-checking6
multithreading6
facebook6
Programming languages (12)
Github contributions (5)
cometbft/cometbft
Dec 2022 - Mar 2023
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:651 reviews, 67 commits, 209 PRs in 3 months
Contributions summary:Lasaro primarily contributed to the refactoring of code, specifically renaming variables and aliases within the codebase. Their changes involved replacing the prefix "tm" with "cmt" across multiple files, including test files, documentation, and the style guide. This indicates a focus on code maintainability and consistency within the project. These changes demonstrate a deep understanding of the codebase and aim to improve clarity and readability, ensuring a smoother developer experience.
bftblockchaincosmosdatabasedistributed-systems
pluxos/facomsd
Sep 2018 - Jul 2019
trabalhos de sistemas distribuídos - facom
Contributions:74 PRs, 3 pushes, 1 branch in 10 months
dossistemas
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.