Rodrigo Otoni is a PhD student at the Università della Svizzera italiana, Lugano, Switzerland, under the supervision of Professors Patrick Eugster and Natasha Sharygina. His interests lie in the use of formal methods for specification and verification of general programs, as well as of smart contracts and blockchain technologies.