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.
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