New Assistant Professor on Formal Verification of Distributed Systems

06-Feb-2026

Since September 2025, Rodrigo Otoni has worked as an Assistant Professor at the University of Groningen, investigating the use of logic as a means to ensure robustness of the systems underlying our digital infrastructures.

Rodrigo’s research focuses on automated reasoning, through the lenses of verification, synthesis, and certification. In particular, he is interested in bridging the gap between theory and practice via techniques that enable push-button automation, such as model checking.

Rodrigo’s work primarily targets systems which have distribution as a key feature, including blockchains and quantum networks.

More information: https://rodrigo7491.github.io/