Rodrigo Otoni

Rodrigo Otoni

Postdoctoral Fellow

Università della Svizzera italiana

Rodrigo Otoni is a postdoctoral fellow at the Università della Svizzera italiana, Switzerland. He is experienced with model checking, SMT and CHC solving, TLA+ specifications, and process algebras, as well as smart contracts and other blockchain technologies.

Interests
  • Formal Methods
  • Model Checking
  • Smart Contracts
Education
  • PhD in Informatics, 2023

    Università della Svizzera italiana, Switzerland

  • MSc in Computer Science, 2018

    Universidade Federal de Pernambuco, Brazil

  • BSc in Computer Science, 2016

    Universidade Federal de Sergipe, Brazil