Guilherme Dantas
Blockchain Engineer (Solidity Typescript Rust Go) at Cartesi
Rio de Janeiro, Brazil
Summary
👤
Senior🎓
Top SchoolGuilherme Dantas is a blockchain engineer with 10 years of software experience, currently building Layer-2 technologies and smart contracts at Cartesi using Solidity, TypeScript, Rust, and Go. He pairs practical protocol and contract development with a deep interest in cryptography, programming languages, and mechanized proofs, reflecting a research-minded approach to secure systems. Earlier work at Tecgraf exposed him to language embedding and bindings (Lua/C++/Python), and he contributed notable improvements to the Lupa project that strengthened Python–Lua interoperability. Based in Rio de Janeiro, he combines academic training (MSc in Informatics) with hands-on engineering across the stack, often focusing on correctness and robust cross-language integrations.
10 years of coding experience
1 year of employment as a software developer
Elementary and secondary education, Elementary and secondary education at Colégio Santo Agostinho Novo Leblon UnitMasters, Informatics, Masters, Informatics at Pontifical Catholic University of Rio de Janeiro
Spanish, English, Portuguese, German
Stackoverflow
17reputation
922reached
1answer
3questions
Github Skills (19)
python10
memory-management10
lua10
computer-engineering10
cython10
build-script9
c119
build-system9
c179
build-tools9
testing8
smart-contracts6
linker6
ethereum6
visual-studio6
Programming languages (16)
Github contributions (5)
scoder/lupa
Apr 2021 - Jul 2021
Lua in Python
Role in this project:
Back-end Developer
Back-end DeveloperContributions:66 reviews, 12 commits, 38 PRs in 3 months
Contributions summary:Guilherme significantly contributed to the Lupa project, which provides Lua integration for Python. Their work focused on improving the core functionality and stability of the library. Key contributions include adding support for custom Lua libraries, refining Python-Lua reference handling to prevent dangling pointers, enhancing Lua 5.3 integer support, and improving table access. The user also addressed several issues, ensuring the reliability of the Lua-Python bridge.
luapythonluajit
crypto-bug-hunters/bug-buster
Oct 2023 - Mar 2025
🪲 Bug Buster, a bug bounty platform powered by Cartesi Rollups
Contributions:18 releases, 98 reviews, 114 PRs in 1 year 5 months
cartesidappevmweb3
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.