Rodrigo Otoni is a third year Ph.D. student at the Università della Svizzera italiana, Lugano, Switzerland, under the supervision of Professors Patrick Eugster and Natasha Sharygina. Rodrigo received a M.Sc. degree from the Universidade Federal de Pernambuco, Recife, Brazil, in 2018, and a B.Sc. degree from the Universidade Federal de Sergipe, São Cristóvão, Brazil, in 2016. He was awarded a Science without Borders scholarship by the Brazilian government for a one year stay, 2014/15, as a visiting student at the University of York, York, UK. His interests lie in the use of formal methods for specification and verification of general programs, as well as of smart contracts and blockchain technologies. Rodrigo has acted as a co-reviewer for conferences such as FMCAD, CAV, and TACAS.
Research Manuscript
Design Verification and Validation
In-Person Only