Mailson Teles Borges
Work Description:
Domain-specific languages (DSLs) are extensively utilised to simplify the complexity of specifying smart contracts in languages like Solidity or Golang. These DSLs often undergo a transformation process to translate them into languages natively supported by Blockchains. My research focuses on proposing tools and methodologies to bridge the gap in detailed approaches for seamlessly integrating and automatically executing these transformed contracts on Blockchains. Furthermore, I aim to develop mechanisms for monitoring executed operations, generating metrics, and producing actionable insights that can be incorporated into other applications.