Rodrigo Otoni

Rodrigo Otoni

PhD student in Formal Verification

Università della Svizzera italiana

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.

Interests
  • Formal Methods
  • Model Checking
  • Smart Contracts
Education
  • MSc in Computer Science, 2018

    Universidade Federal de Pernambuco, Brazil

  • BSc in Computer Science, 2016

    Universidade Federal de Sergipe, Brazil