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
FM 2026-profile
View general profile
View general profile