Description: 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,…
Software Engineering and Formal Methods
Have you ever wondered how to ensure that your formal semantics captures the intended meaning of a language? In our new paper for TAP2022 we describe a novel approach based on grammar-based fuzzying to automatically test your executable semantics against a reference implementation. We demonstrate the approach by applying it to validate our semantics for Solidity. The paper will be presented at the 16th International Conference on Tests and Proofs co-located with STAF 2022.
I am glad to share a preprint of our latest work in which we present a denotational semantics of a subset of Solidity and its implementation in Isabelle/HOL. This is a collaboration with Prof. Achim Brucker and will be presented at SEFM 2021.