I am an Assistant Professor at the University of Groningen, Netherlands, investigating the use of logic as a means to ensure robustness of the systems underlying our digital infrastructure. My research focuses on automated reasoning, through the lenses of verification, synthesis, and certification. In particular, I am interested in bridging the gap between theory and practice via techniques that enable push-button automation, such as model checking. My work primarily targets systems which have distribution as a key feature, including blockchains and quantum networks.

On a more technical note, I have experience in topics such as symbolic model checking, SMT and CHC solving, TLA+ specifications, process algebras, smart contracts, and entanglement-based networks.

For full details, please see my CV.

News

• 12/2025 – Paper on SMT-based approximate logic synthesis published at IEEE TCAD.
• 11/2025 – Co-organising the Formal Methods track of NWO ICT.OPEN 2026 (together with Valentina Castiglioni).
• 11/2025 – Gave an invited talk on Validation of CHC Solving Results at NetTCS.
• 10/2025 – Joined the program committee of FORTE’26.
• 09/2025 – Joined the University of Groningen as an Assistant Professor!