@dmarmsoler.bsky.social
21 Followers · 45 Following
Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
