Diego Marmsoler -

Registered user since Tue 10 Jun 2025

Name:Diego Marmsoler

Affiliation:University of Exeter

Personal website: https://marmsoler.com

X (Twitter): https://x.com/DiegoMarmsoler

GitHub: https://github.com/dmarmsoler

Research interests:Formal Methods, Verification, Theorem Proving, Smart Contracts

Contributions

2026

FM

Committee Member in Program Committee within the Research Track-track

2021

ESEC/FSE

Author of Formal methods in dependable systems engineering: a survey of professionals from Europe and North America within the Journal First-track