Rodrigo Otoni

Rodrigo Otoni is an Assistant Professor at the University of Groningen's Faculty of Science and Engineering, affiliated with the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence. His research focuses on automated reasoning for verification, synthesis, and certification in computer science. He leads initiatives in formal methods for distributed systems and maintains active profiles on GitHub and LinkedIn.

Research Interests: Specializes in theoretical computer science foundations with applied work in model checking and formal verification. Key areas include:

• Automated theorem proving for system certification
• Formal specification of distributed protocols
• Rigorous verification methodologies for concurrent systems