Lasaro Camargos
Tinkerer at Weilliptic
Minas Gerais, Brazil
Summary
🤩
Rockstar🎓
Top SchoolLasaro Camargos is a computer scientist and tinkerer with 10+ years of professional experience designing and implementing large-scale distributed systems, from P2P networks and consensus protocols to practical network stacks. He blends academic rigor—holding PhD-level training and years as a university professor—with hands-on engineering at companies like Commvault, Hedvig, Microsoft and Informal Systems. Lasaro focuses on reasoning about concurrency and consistency in fault-prone environments and has contributed to notable open-source projects such as CometBFT, improving code clarity and maintainability across a complex BFT codebase. Based in Minas Gerais, Brazil, he combines research-driven problem solving with pragmatic refactoring and developer-experience improvements that make large distributed systems easier to understand and operate.
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 (13)
distributed-systems10
refactoring10
go10
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.