I am a lecturer (E&R) in the Cyber Security group at the University of Exeter. Before, I was a postdoctoral researcher at the Software and Systems Engineering group of Prof. Manfred Broy at the Technical University of Munich. I obtained a B.Sc. from the Free University of Bozen-Bolzano and an M.Sc. from the TU München, LMU, and Augsburg University. I received my Ph.D. in Computer Science from the Technical University of Munich in 2019.

Research Interests

In general, my research focuses on the formal specification and verification of distributed, component-based systems. Specifically, I am working on the integration of automatic (Model Checking, Runtime Verification) and semi-automatic (Interactive Theorem Proving) techniques for the verification of such systems. Recently, I started to apply these techniques for the verification of dynamically adapting architectures and architectures in the area of Blockchain.

Grants

01/2024 – 12/2025 (PI): Secure Smart Contracts with Isabelle/Solidity (£250 k, EPSRC)

Community Service

I am a member of the steering committee of the FMBC workshop series. In addition I am  currently serving in the program comittee of the following venues:

• ICE
• IEEE DAPPS
• TASE

I was also involved in the following events in the past:

• FMICS 2021
• TASE 2021
• ICE 2019, 2020, 2021, 2022
• IEEE DAPPS 2021, 2022

I was reviewer for the following Journals:

• Science of Computer Programming
• Journal of Logical and Algebraic Methods in Programming
• The Computer Journal
• The Knowledge Engineering Review
• Transactions on Computing Education
• Applied Network Science

I was also subreviewer for the following conferences:

• Models
• FormaliSE
• MEMOCODE