Dinis Araújo is a Solidity developer focused on backend development and smart contract security. He holds an MSc in Computer Science (Cybersecurity & Distributed Systems) and wrote a dissertation on Solidity smart contract security. He is currently a blockchain researcher and assistant professor at Nova IMS / Nova Blockchain Lab, working on Communitas, a peer-to-peer energy trading platform running . His toolkit includes Hardhat, Foundry, Brownie, TypeScript/Node.js, and React/Next.js