Rodrigo Benedito Otoni
http://usi.to/3tz
Biografia
Rodrigo Otoni is a postdoctoral fellow 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.