Name:Rodrigo Otoni

Bio:

Rodrigo Otoni was a postdoctoral researcher at USI Lugano, Switzerland. In September 2025 he joined the University of Groningen, Netherlands, as an assistant professor. He works 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.

Country:Switzerland

Affiliation:USI Lugano

Research interests:Automated Reasoning, Formal Methods, Model Checking