PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Rodrigo Otoni

Registered user since Thu 2 May 2024

Name:Rodrigo Otoni

Rodrigo Otoni is a postdoctoral researcher at USI Lugano, 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.

Affiliation:USI Lugano
Research interests:Automated Reasoning, Formal Methods, Model Checking


Show activities from other conferences

Using general profile