Rodrigo Otoni

Rodrigo Otoni

Postdoctoral Fellow

Università della Svizzera italiana

Rodrigo Otoni is a postdoctoral fellow at the Università della Svizzera italiana, Switzerland, working on approaches for automated reasoning in the contexts of verification, synthesis, and certification. He is experienced with model checking, SMT and CHC solving, TLA+ specifications, and process algebras, as well as smart contracts and other blockchain technologies.

  • Automated Reasoning
  • Formal Methods
  • Model Checking
  • Smart Contracts
  • 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