About
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
0Publications listed
Find Rodrigo Otoni elsewhere
Related Searches
You Might Also Like
- RRodrigo Benedito OtoniUniversity of Italian Switzerland · Researcher
- JJose MeseguerUniversity of Illinois Urbana-Champaign · Professor
- WWim H. HesselinkUniversity of Groningen · Associate Professor
- MMaria Paola BonacinaVerona University · Professor
Mateus De Oliveira OliveiraUniversity of Bergen · Associate Professor
Jiri SrbaAalborg University · Professor