Diego Marmsoler

Software Engineering and Formal Methods

diego_marmsoler.jpg

Innovation Centre 1 Mb

Rennes Dr

Exeter, Devon, EX4 4RN

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

selected publications

  1. FAC
    Isabelle/Solidity: A deep embedding of Solidity in Isabelle/HOL
    Diego Marmsoler, and Achim D. Brucker
    Formal Aspects Computing, Oct 2024
  2. SCP
    A Calculus for Dynamic Architectures
    Diego Marmsoler
    Science of Computer Programming, Oct 2019
  3. FAC
    Interactive Verification of Architectural Design Patterns in FACTum
    Diego Marmsoler, and Habtom Kahsay Gidey
    Formal Aspects Computing, Oct 2019
  4. SSCalc: A Calculus for Solidity Smart Contracts
    Diego Marmsoler, and Billy Thornton
    In Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, Oct 2023