Valmir Pretto
Software Developer at Echo54
Rio Grande do Sul, Brazil
Summary
👤
Senior🎓
Top SchoolValmir Pretto is a software developer and computer scientist with a decade of experience, blending industry practice with graduate-level research in programming language theory. Based in Rio Grande do Sul, Brazil, he has been building software at Echo54 and Ambush since 2019, bringing pragmatic engineering to applied projects while pursuing a Master's in Computer Science at UFRGS. His background ranges from early programming assistant roles to graphic design, giving him a multidisciplinary perspective on product design and developer tooling. Valmir is particularly interested in the theoretical foundations of languages and how they inform safer, more maintainable code in real-world systems. Colleagues know him for combining academic rigor with steady delivery across backend and tooling efforts.
10 years of coding experience
Master's degree, Computer Science, Master's degree, Computer Science at Federal University of Rio Grande do SulBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Universidade Regional Integrada do Alto Uruguai e das Missões - URI
Stackoverflow
137reputation
8kreached
3answers
8questions
Github Skills (100)
api8
middleware8
ghc8
perf7
rest-api7
stack7
optimizer7
cabal7
go-http7
dotty7
router7
async-await6
haskell6
golang6
servant6
Programming languages (8)
Github contributions (5)
valmirjunior0088/lambda-curios
May 2021 - Oct 2022
Contributions:6 commits, 28 pushes, 1 branch in 1 year 6 months
valmirjunior0088/curios
Aug 2019 - Jan 2023
Work-in-progress functional dependently typed programming language
Contributions:163 commits, 1 PR, 370 pushes in 3 years 5 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.