Gabriel Coutinho De Paula
@GCdePaula
Gabriel Coutinho De Paula
@GCdePaula
I like programming languages, fraud-proofs, and great storytelling. I develop software in the web3 space, building public good infrastructure in the rollups and L2 ecosystem.
I like programming languages, fraud-proofs, and great storytelling. I develop software in the web3 space, building public good infrastructure in the rollups and L2 ecosystem.
L2 Wizard, Cartesi
Rio de Janeiro, Brazil
I'm currently a contributor at the Cartesi ecosystem, building core technologies and infrastructure. I joined the project part-time in 2020, and full-time in 2021 after I defended my Master's thesis. My research was in programming languages, advised by professor Roberto Ierusalimschy.
Currently, I'm building Dave — Cartesi's fault-proof system — based on the permissionless refereed tournaments technique, writing both on-chain like smart contracts and off-chain components like the validator node.