Rodrigo Otoni was 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.

See the attached CV for full details (last update July 2025).

In September 2025 Rodrigo joined the University of Groningen, Netherlands, as an assistant professor.