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.
MSc in Computer Science, 2018
Universidade Federal de Pernambuco, Brazil
BSc in Computer Science, 2016
Universidade Federal de Sergipe, Brazil