×
You are not logged in
Bluesky Profile
Diego Marmsoler
Registered: 23 Jul 2025 19:08
Last post: 4 Mar 2026 10:54
Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
This account allows followers on Bluesky to be notified of new posts from this account.
| dmarmsoler.bsky.social PDS: bankera.us-west.host.bsky.network 2025-07-23 19:07:48 |