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

Registered user since Thu 2 May 2024

Name:Rodrigo Otoni
Bio:

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.

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

Contributions

Show activities from other conferences

PLDI 2024-profile
View general profile