Rodrigo Benedito Otoni

Rodrigo Benedito Otoni is a postdoctoral researcher at the University of Lugano (USI), affiliated with the Faculty of Informatics. His research focuses on automated reasoning techniques for verification, synthesis, and certification, with expertise in model checking, SMT/CHC solving, TLA+ specifications, process algebras, and blockchain technologies including smart contracts. He is based at the East Campus, Sector D, Office D2.09 (Level P2), via la Santa 1, 6962 Lugano-Viganello.

Key research areas include formal methods for system verification, blockchain application analysis, and the development of tools for automated reasoning. His work bridges theoretical foundations with practical applications in software verification and distributed systems. The full details of his career are documented in his CV (last updated February 2025), which includes comprehensive information on his academic contributions and professional activities.