Diego Marmsoler
Software Engineering and Formal Methods
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.
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.
news
Oct 17, 2024 | Augusto Sampaio visiting our group |
---|---|
Oct 15, 2024 | New FAC paper |
Oct 10, 2024 | FMBC 25 @ ETAPS 2025 |
Aug 31, 2024 | Paper accepted for ICTAC24 |
Aug 22, 2024 | Paper accepted for SEFM24 |