Name:Rodrigo Otoni

Bio:

Rodrigo Otoni is an assistant professor at the University of Groningen, Netherlands, 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:Netherlands

Affiliation:University of Groningen

Research interests:Automated Reasoning, Formal Methods, Model Checking