Ricerca di contatti, progetti,
corsi e pubblicazioni

Rodrigo Benedito Otoni

http://usi.to/3tz

Biografia

Rodrigo Otoni is a postdoctoral researcher at USI since November 2023. 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.